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