Set theory
集合論による順序対の定義.