Congruence Relation

- Pure Mathematics -
Algebra Dictionary
An equivalence relation on an algebraic structure that is preserved by every basic operation of the algebra, so that the set of equivalence classes inherits well-defined induced operations and therefore forms a quotient algebra.