:: deftheorem Def8 defines acyclic GLIB_014:def 8 :
for S being Graph-membered set holds
( S is acyclic iff for G being _Graph st G in S holds
G is acyclic );