equivalence relation
mathematics and logic
equivalence relation, In mathematics, a generalization of the idea of equality between elements of a set. All equivalence relations (e.g., that symbolized by the equals sign) obey three conditions: reflexivity (every element is in the relation to itself), symmetry (element A has the same relation to element B that B has to A), and transitivity (see transitive law). Congruence of triangles is an equivalence relation in geometry. Members of a set are said to be in the same equivalence class if they have an equivalence relation.