Equivalence relation
WiktionaryText

Noun



  1. A binary relation that is reflexive, symmetric and transitive.
 
x
OK