Ordinal is Transitive

Theorem
Every ordinal is a transitive set.

Proof
Let $S$ be an ordinal. By definition:
 * $\forall a \in S: a = S_a \subseteq S$

where $S_a$ denotes the initial segment of $S$ determined by $a$.

That is, $S$ is a transitive set.