>>35
三つ組は(定義域、終域、グラフ)
定義域をグラフから特定可能
への反論になってない

>Xはsourceであってdomainじゃないよ
君の独自定義はどうでもよい