Definition:Congruence Relation

Definition
A congruence relation, or a congruence, is an equivalence on an algebraic structure $$\left({S, \circ}\right)$$ which is compatible with the operation $$\circ$$.