for G being Group
for A, B being Subset of G st A c= B holds
gr A is Subgroup of gr B