>>891
いつかじゃねえよw
集合論では写像はグラフで定義される。
つまり直積集合のある種の部分集合。
定義域が空集合だとこの直積集合は空集合だ。