Definition:Ordered Pair/Wiener Formalization

Definition
The concept of an ordered pair can be formalized by the definition:


 * $\tuple {a, b} := \set {\set {\O, \set a}, \set {\set b} }$

Also see

 * Equivalence of Definitions of Ordered Pair