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