関数の厳密な定義は、
まずWiener–Hausdorff–Kuratowskiが1921年で順序対を完成させて、
FraenkelとSkolemがZermeloの集合論の修正の中で初めて与えられた