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