# Union of Limit Ordinal

## Theorem

Let $x$ be a limit ordinal.

Then:

$\displaystyle x = \bigcup x$
$\displaystyle x = \bigcup_{y \mathop \in x} y$