>グラフだけだと写像を特定できないから三つ組で定義されるよ。
実は X={x∈∪∪F|∃y((x,y)∈F)} で定義域Xを特定できるから、グラフと終域の二つ組でも定義できちゃうんだけどねー