for G1, G2 being _Graph
for F being semi-continuous PGraphMapping of G1,G2 st rng (F _E) = the_Edges_of G2 holds
F is continuous