:: deftheorem Def9 defines Cycle-like GLPACY00:def 9 :
for S being GraphSeq holds
( S is Cycle-like iff for n being Nat holds S . n is Cycle-like );