Limit Ordinal Equals its Union

Theorem
Let $x$ be a limit ordinal. Then:


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