for G1, G2 being _Graph
for V being set
for H being inducedSubgraph of G1,V
for F being PGraphMapping of G1,G2 holds
( ( F is continuous implies F | H is continuous ) & ( F is strong_SG-embedding implies F | H is strong_SG-embedding ) & ( F is Dcontinuous implies F | H is Dcontinuous ) )