Limit Ordinal Equals its Union

Theorem
Let $x$ be a limit ordinal.

Then:


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