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