Definition:Ordered Pair/Empty Set Formalization

From ProofWiki
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