Equivalence relation/Definition

A reflexive symmetric transitive binary relation on a set.