Definition:Ordered Pair/Empty Set Formalization

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

 * Equivalence of Definitions of Ordered Pair