:: deftheorem Def28 defines Path-like GLIB_001:def 28 :
for G being _Graph
for W being Walk of G holds
( W is Path-like iff ( W is Trail-like & ( for m, n being odd Element of NAT st m < n & n <= len W & W . m = W . n holds
( m = 1 & n = len W ) ) ) );