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