for G1, G2 being _Graph
for F being non empty PGraphMapping of G1,G2
for V being non empty Subset of (the_Vertices_of (dom F))
for H being inducedSubgraph of G1,V st F is continuous holds
rng (F | H) is inducedSubgraph of G2,((F _V) .: V)