Ternary equivalence relation explained

In mathematics, a ternary equivalence relation is a kind of ternary relation analogous to a binary equivalence relation. A ternary equivalence relation is symmetric, reflexive, and transitive, where those terms are meant in the sense defined below. The classic example is the relation of collinearity among three points in Euclidean space. In an abstract set, a ternary equivalence relation determines a collection of equivalence classes or pencils that form a linear space in the sense of incidence geometry. In the same way, a binary equivalence relation on a set determines a partition.

Definition

A ternary equivalence relation on a set is a relation, written, that satisfies the following axioms:

1. Symmetry: If then and . (Therefore also,, and .)
2. Reflexivity: . Equivalently, in the presence of symmetry, if,, and are not all distinct, then .
3. Transitivity: If and and then . (Therefore also .)