Ternary relation

A function f: A × B → C in two variables, mapping two values from sets A and B, respectively, to a value in C associates to every pair (a,b) in A × B an element f(a, b) in C. Therefore, its graph consists of pairs of the form ((a, b), f(a, b)). Such pairs in which the first element is itself a pair are often identified with triples. This makes the graph of f a ternary relation between A, B and C, consisting of all triples (a, b, f(a, b)), satisfying a in A, b in B, and f(a, b) in C.

Given any set A whose elements are arranged on a circle, one can define a ternary relation R on A, i.e. a subset of A³ = A × A × A, by stipulating that R(a, b, c) holds if and only if the elements a, b and c are pairwise different and when going from a to c in a clockwise direction one passes through b. For example, if A = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12 } represents the hours on a clock face, then R(8, 12, 4) holds and R(12, 8, 4) does not hold.

The ordinary congruence of arithmetics

${\displaystyle a\equiv b{\pmod {m}}}$

which holds for three integers a, b, and m if and only if m divides a − b, formally may be considered as a ternary relation. However, usually, this instead is considered as a family of binary relations between the a and the b, indexed by the modulus m. For each fixed m, indeed this binary relation has some natural properties, like being an equivalence relation; while the combined ternary relation in general is not studied as one relation.

A typing relation ${\displaystyle \Gamma \vdash e\!:\!\sigma }$ indicates that ${\displaystyle e}$ is a term of type ${\displaystyle \sigma }$ in context ${\displaystyle \Gamma }$, and is thus a ternary relation between contexts, terms and types.

Given homogeneous relations A, B, and C on a set, a ternary relation ${\displaystyle (A,\ B,\ C)}$ can be defined using composition of relations AB and inclusion AB ⊆ C. Within the calculus of relations each relation A has a converse relation A^T and a complement relation ${\displaystyle {\bar {A}}.}$ Using these involutions, Augustus De Morgan and Ernst Schröder showed that ${\displaystyle (A,\ B,\ C)}$is equivalent to ${\displaystyle ({\bar {C}},B^{T},{\bar {A}})}$ and also equivalent to ${\displaystyle (A^{T},\ {\bar {C}},\ {\bar {B}}).}$ The mutual equivalences of these forms, constructed from the ternary relation (A, B, C), are called the Schröder rules.[1]