Kuratowski's Ordered Pair

set-theory

Definition

Kuratowski's Ordered Pair

Define the ordered pair $(x,y)$ as:

$$(x,y):=\{\{x\},\{x,y\}\}$$