 The definition of a congruence depends on the type of algebraic structure under consideration.Particular definitions of congruence can be made for groups, rings, vector spaces, modules, semigroups, lattices, and so forth.The common theme is that a congruence is an equivalence relation on an algebraic object that is compatible with the algebraic structure, in the sense that the operations are well-defined on the equivalence classes.