for G being Group
for A being Subset of G holds the carrier of (gr A) = meet { B where B is Subset of G : ex H being strict Subgroup of G st
( B = the carrier of H & A c= carr H ) }