for G1, G2 being _Graph
for F being non empty PGraphMapping of G1,G2 holds
( F is onto iff rng F == G2 )