順序対の集合論的定義