Intersection of Ordinals is Ordinal

Theorem
Let $A$ be a non-empty class of ordinals.

Then $\bigcap A$ is an ordinal.

Proof
Let $i = \bigcap A$.

Set
By Intersection of Non-Empty Class is Set, $i$ is a set.

Transitive
Let $n \in i$ and let $m \in n$.

Let $a \in A$.

By the definition of intersection, $n \in a$.

Since $a$ is an ordinal, it is transitive.

Thus $m \in a$.

As this holds for all $a \in A$, $m \in i$.

Thus $i$ is transitive.

$\in$-connected
Let $x,y \in i$.

Since $A$ is non-empty, it has an element $a$.

By the definition of intersection, $x, y \in a$.

Since $a$ is an ordinal, it is $\in$-connected.

Thus $x \in y$ or $y \in x$.

As this holds for all $x, y \in i$, $i$ is $\in$-connected.

Well-founded
Let $b$ be a non-empty subset of $i$.

Let $a \in A$ (such exists because $A$ is non-empty).

By Intersection is Largest Subset, $b \subseteq a$.

Since $a$ is an ordinal it is well-founded.

Thus $b$ has an element $x$ such that $x \cap b = \O$.

As this holds for all such $b$, $i$ is well-founded.