equivalence relations on a 5-element set depicted as 5×5 logical matrices
(colored fields, including those in light gray, stand for ones; white fields for zeros.) the row and column indices of nonwhite cells are the related elements, while the different colors, other than light gray, indicate the equivalence classes (each light gray cell is its own equivalence class).
in mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. the relation "is equal to" is the canonical example of an equivalence relation, where for any objects a, b, and c:
- a = a (reflexive property),
- if a = b then b = a (symmetric property), and
- if a = b and b = c then a = c (transitive property).
as a consequence of the reflexive, symmetric, and transitive properties, any equivalence relation provides a partition of the underlying set into disjoint equivalence classes. two elements of the given set are equivalent to each other if and only if they belong to the same equivalence class.