Initial Segment of Ordinal is Ordinal

Theorem
Let $S$ be an ordinal.

Let $a \in S$.

Then the initial segment $S_a$ of $S$ determined by $a$ is also an ordinal.

Proof
Suppose that $b \in S_a = a$. Then:

That is, $S_a$ is an ordinal.