:: deftheorem Def8 defines Cycle-like GLPACY00:def 8 :
for F being non empty Graph-yielding Function holds
( F is Cycle-like iff for x being Element of dom F holds F . x is Cycle-like );