:: deftheorem Def53a defines Graph-yielding GLIB_000:def 53 :
for F being Function holds
( F is Graph-yielding iff for x being object st x in dom F holds
F . x is _Graph );