Set theory MOC

Ordered pair

An ordered pair is a construction satisfying the fundamental property #m/def/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 the typical model, due to Kazimierz Kuratowski, is as follows

which satisfies the fundamental property.

#state/develop | #lang/en | #SemBr