:: deftheorem defines .: GRSOLV_1:def 3 :
for G, H being Group
for g being Homomorphism of G,H
for A being Subgroup of G holds g .: A = Image (g | A);