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