We consider a congruence rho on a group G as a subsemigroup of the direct product G x G. It is well known that a relation rho on G is a congruence if and only if there exists a normal subgroup N of G such that rho = {(s, ...