theorem :: LATSUBGR:28

for G being Group holds FuncLatt (id the carrier of G) = id the carrier of (lattice G)