ordered pair
OrderedPair
2001-10-19 00:39:13
2002-03-04 01:18:14
Definition
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}
For any sets $a$ and $b$, the {\em ordered pair} $(a,b)$ is the set $\{\{a\}, \{a,b\}\}$.
The characterizing property of an ordered pair is:
$$
(a,b) = (c,d) \iff a=b \text{\ \ and\ \ } c=d,
$$
and the above construction of ordered pair, as weird as it seems, is actually the simplest possible formulation which achieves this property.