Equivalence Relation

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A binary relation on a set that is reflexive, symmetric, and transitive; it partitions the set into disjoint equivalence classes whose members are indistinguishable for the relation.