for G being Group
for A being Subset of G
for H being strict Subgroup of G st A = the carrier of H holds
gr A = H