:: deftheorem Def11 defines DPVM2PGM GLIB_011:def 11 :
for G1, G2 being non-Dmulti _Graph
for f being directed PVertexMapping of G1,G2
for b₄ being directed PGraphMapping of G1,G2 holds
( b₄ = DPVM2PGM f iff ( b₄ _V = f & dom (b₄ _E) = G1 .edgesBetween (dom f) & rng (b₄ _E) c= G2 .edgesBetween (rng f) ) );