:: deftheorem defines canGFDistinction GLIB_015:def 26 :
for F being non empty Graph-yielding Function
for z being Element of dom F holds canGFDistinction (F,z) = (canGFDistinction F) +* (z,((F . z) | _GraphSelectors));