for G being Group
for H being strict Group
for h being Homomorphism of G,H holds
( h is onto iff Image h = H )