Union of Set of Ordinals is Ordinal

Theorem
Let $A$ be a class of ordinals.

That is, $A \subseteq \On$, where $\On$ denotes the ordinal class.

Then $\bigcup A$ is an ordinal.

Proof
From this, we conclude that $\ds \bigcup A$ is a transitive class.

From Class is Transitive iff Union is Subclass, it follows that:


 * $\ds \bigcup A \subseteq A \subseteq \On$

By Subset of Well-Ordered Set is Well-Ordered, $A$ is also well-ordered by $\Epsilon$.

Thus by Alternative Definition of Ordinal, $\bigcup A$ is an ordinal.