:: deftheorem defines *graph WAYBEL26:def 4 :
for f being Function holds *graph f = (Union (disjoin f)) ~ ;