:: deftheorem defines Cycle-like GLIB_001:def 31 :
for G being _Graph
for W being Walk of G holds
( W is Cycle-like iff ( W is closed & W is Path-like & not W is trivial ) );