Mathematics & Logic a relation between elements of a set which is reflexive, symmetric, and transitive. It thus defines exclusive classes whose members bear the relation to each other and not to those in other classes (e.g. 'having the same value of a measured property').