Set theory MOC

Ordered pair

An ordered pair is a construction satisfying the fundamental property set

the set of all ordered pairs from a given pair of sets forms the cartesian product. One may then define an ordered -tuple by , &c. Compare this with the related universal property of the categorical product.

Construction

Within ZF the typical model, due to Kazimierz Kuratowski, is as follows

which satisfies the fundamental property.

---

develop | en | sembr