EquivalenceRelation

A binary relation that is reflexive, symmetric, and transitive.

See http://en.wikipedia.org/wiki/Equivalence_relation, http://mathworld.wolfram.com/EquivalenceRelation.html.

---

CategoryMath