for G, H being Group
for h being Homomorphism of G,H
for A, B being Subgroup of G st A is Subgroup of B holds
h .: A is Subgroup of h .: B