Elements of Ordered Pair do not Commute

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\set {a, b}$ be a doubleton, so that $a$ and $b$ are distinct objects.

Let $\tuple {a, b}$ denote the ordered pair such that the first coordinate is $a$ and the second coordinate is $b$.


Then:

$\tuple {a, b} \ne \tuple {b, a}$


Proof

By the Kuratowski formalization of $\tuple {a, b}$:

$\tuple {a, b} = \set {\set a, \set {a, b} }$

and by Equality of Ordered Pairs:

$\tuple {a, b} = \tuple {b, a} \iff a = b$

But $a \ne b$ and so:

$\tuple {a, b} \ne \tuple {b, a}$

$\blacksquare$


Sources