:: deftheorem defines strong_SG-embedding GLIB_010:def 20 :
for G1, G2 being _Graph
for F being PGraphMapping of G1,G2 holds
( F is strong_SG-embedding iff ( F is total & F is one-to-one & F is continuous ) );