:: deftheorem Def35 defines -defined GLIB_010:def 35 :
for G1, G2 being _Graph
for F being PGraphMapping of G1,G2
for W1 being Walk of G1 holds
( W1 is F -defined iff ( W1 .vertices() c= dom (F _V) & W1 .edges() c= dom (F _E) ) );