Properties of Class of All Ordinals/Union of Chain of Ordinals is Ordinal

Theorem
Let $\On$ denote the class of all ordinals.

Let $C$ be a chain of elements of $\On$.

Then its union $\ds \bigcup C$ is also an element of $\On$.