:: deftheorem Def13b defines acyclic GLIB_002:def 16 :
for GF being non empty Graph-yielding Function holds
( GF is acyclic iff for x being Element of dom GF holds GF . x is acyclic );