\begin{definition}[Definition:Ordered Pair/Empty Set Formalization]
The concept of an ordered pair can be formalized by the definition:
:$\tuple {a, b} := \set {\set {\O, a}, \set {\set \O, b} }$
\end{definition}