:: deftheorem Def10 defines Cycle-like GLPACY00:def 10 :
for S being Graph-membered set holds
( S is Cycle-like iff for G being _Graph st G in S holds
G is Cycle-like );