for G1, G2 being _Graph
for F being PGraphMapping of G1,G2 st F is weak_SG-embedding holds
( G1 .order() c= G2 .order() & G1 .size() c= G2 .size() )