theorem Th32: :: GLENUM00:32

for G1, G2 being _Graph
for F being PGraphMapping of G1,G2 st F is onto holds
rng (SG2SGFunc F) = G2 .allSG()