# Union of Limit Ordinal

Jump to navigation
Jump to search

## Theorem

Let $x$ be a limit ordinal.

Then:

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

## Proof