Equivalence relation (source code)

= Equivalence relation
{wiki}

An equivalence relation is a reflexive, symmetric, and transitive binary relation. It partitions a set into disjoint equivalence classes.