:: deftheorem Def5 defines Path-like GLPACY00:def 5 :
for S being Graph-membered set holds
( S is Path-like iff for G being _Graph st G in S holds
G is Path-like );