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$.