theorem :: LATSUBGR:28
for G being Group holds FuncLatt (id the carrier of G) = id the carrier of (lattice G)