Initial Segment of Ordinal is Ordinal

Theorem
Let $$\left({S; \preceq}\right)$$ be an ordinal.

Let $$a \in S$$.

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

Proof
Let $$b \in S_a$$.

Then:

$$ $$ $$ $$ $$

The result follows from the definition of an ordinal.