Ordinal is Transitive/Proof 1

Proof
Let $\alpha$ be an ordinal by Definition 1:

Thus $\alpha$ is transitive.