for G, H being Group
for g being Homomorphism of G,H
for A being Subgroup of G holds the carrier of (g .: A) = g .: the carrier of A