 Together, these equivalence classes are the elements of a quotient group.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 formula_41.