Definition. Equivalence Relation [005A]