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