for G being Group holds the carrier of (lattice G) = Subgroups G ;