for G being Group
for A being non empty Subset of G
for N, H being Subgroup of G st N is Subgroup of H holds
H ` A c= N ` A