:: deftheorem Def10 defines Image GROUP_6:def 10 :
for G, H being Group
for g being Homomorphism of G,H
for b₄ being strict Subgroup of H holds
( b₄ = Image g iff the carrier of b₄ = g .: the carrier of G );