Definition:Ordered Pair/Empty Set Formalization
< Definition:Ordered Pair(Redirected from Definition:Empty Set Formalization of Ordered Pair)
Jump to navigation
Jump to search
Definition
The concept of an ordered pair can be formalized by the definition:
- $\tuple {a, b} := \set {\set {\O, a}, \set {\set \O, b} }$
Also see
Sources
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $2$: Some Basics of Class-Set Theory: $\S 4$ The pairing axiom: Remark