for G being _Graph
for W being Walk of G holds rng W = (W .vertices()) \/ (W .edges())