EQUIVALENCE RELATION

■ noun Mathematics & Logic a relation between elements of a set which is reflexive, symmetric, and transitive and which defines exclusive classes whose members bear the relation to each other and not to those in other classes.