集合論
ウィーナーが初めて順序対の集合論的定義: