A binary relation that is reflexive, symmetric, and transitive.
See http://en.wikipedia.org/wiki/Equivalence_relation, http://mathworld.wolfram.com/EquivalenceRelation.html.
CategoryMath