Definition:Congruence Relation

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