Equality of Successors

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $x$ and $y$ be ordinals.

Let $x^+$ denote the successor set of $x$.

Then, $x = y \iff x^+ = y^+$


Proof

\(\ds x = y\) \(\implies\) \(\ds x^+ = y^+\) Substitutivity of Equality

Conversely,

\(\ds x^+ = y^+\) \(\implies\) \(\ds \bigcup x^+ = \bigcup y^+\) Substitutivity of Equality
\(\ds \) \(\implies\) \(\ds x = y\) Union of Successor Ordinal


$\blacksquare$


Also see