Search results
Results from the WOW.Com Content Network
Ternary relations may also be referred to as 3-adic, 3-ary, 3-dimensional, or 3-place. Just as a binary relation is formally defined as a set of pairs , i.e. a subset of the Cartesian product A × B of some sets A and B , so a ternary relation is a set of triples, forming a subset of the Cartesian product A × B × C of three sets A , B and C .
For example, the relation "x is divisible by y and z" consists of the set of 3-tuples such that when substituted to x, y and z, respectively, make the sentence true. The non-negative integer n that gives the number of "places" in the relation is called the arity , adicity or degree of the relation.