:: deftheorem Def1 defines Path-like GLPACY00:def 1 :
for G being _Graph holds
( G is Path-like iff ( G is Tree-like & ( for v being Vertex of G holds v .degree() c= 2 ) ) );