対の公理(Pairing)
対の公理
任意の集合 に対し, 要素が であるか であるかのいずれかであるような集合 が存在すると言ってます.
外延性の公理から, そのような集合は一意に定まり, これを と書くことにします.
ちなみに なる集合は, 単に と書き, これを単集合(singleton)と言います.
ですが, の順序も考慮した集合があると便利です.
そこで, 順序対(ordered pair) を
で定義します.
すると上手いように
が成り立つことが確認できます.
ちなみに, このような原理を満たすようであれば, 順序対はどのように定義しても差し支えありません.
三つ以上の組についても同様に定義できます.