:: deftheorem Def5 defines *graph WAYBEL26:def 5 :
for W being Relation
for X being set
for b₃ being Function holds
( b₃ = (W,X) *graph iff ( dom b₃ = X & ( for x being object st x in X holds
b₃ . x = Im (W,x) ) ) );