Search
what is equivalence relation.
An equivalence relation is a binary relation that is reflexive, symmetric and transitive.