==Definition== When an algebraic structure includes more than one operation, congruence relations are required to be compatible with each operation. For example, a ring possesses both addition and multiplication, and a congruence relation on a ring must satisfy whenever r1 ≡ r2 and s1 ≡ s2. For a congruence on a ring, the equivalence class con...