theorem :: LATSUBGR:27

for G being Group holds lattice G is complete