:: deftheorem Def4 defines Path-like GLPACY00:def 4 :
for S being GraphSeq holds
( S is Path-like iff for n being Nat holds S . n is Path-like );