Ordinal is Transitive/Proof 2

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

Thus $\alpha$ is transitive.