:: deftheorem Def64b defines Dsimple GLIB_000:def 73 :
for GF being non empty Graph-yielding Function holds
( GF is Dsimple iff for x being Element of dom GF holds GF . x is Dsimple );