theorem :: GROUP_4:73

for G being Group holds Top (lattice G) = (Omega). G