for G being _Graph
for W being Walk of G
for x, y being object holds
( W is_Walk_from x,y iff ( W . 1 = x & W . (len W) = y ) ) ;