# Successor in Limit Ordinal

## Theorem

Suppose that $x$ is a limit ordinal and that $y \in x$.

Then $y^+ \in x$ where $y^+$ denotes the successor set of $y$:

$\forall y \in x: y^+ \in x$

## Proof

Since $x$ is a limit ordinal:

$x \ne y^+$

Moreover by Successor of Element of Ordinal is Subset:

$y \in x \implies y^+ \subseteq x$
$y^+ \subset x$ and $y^+ \in x$

$\blacksquare$