Moreover,the lattice of group congruences of S is also a lattice homomorphic image of the lattice of all congruences of S.

• 进而，证明了I(S)的群同余格是S的同余格的格同态像.