:: deftheorem Def36 defines -valued GLIB_010:def 36 :
for G1, G2 being _Graph
for F being PGraphMapping of G1,G2
for W2 being Walk of G2 holds
( W2 is F -valued iff ( W2 .vertices() c= rng (F _V) & W2 .edges() c= rng (F _E) ) );