for G being Group
for N, H1, H2 being Subgroup of G st H1 is Subgroup of H2 holds
N ~ H1 c= N ~ H2