Limit Ordinal Equals its Union

Theorem
Let $x$ be a limit ordinal.

Then:


 * $\ds x = \bigcup x$


 * $\ds x = \bigcup_{y \mathop \in x} y$