Ordinal is Transitive/Proof 3

Proof
Let $\alpha$ be an ordinal by Definition 3.

That is, $\alpha$ is a transitive set.