Ordinal is Transitive

Theorem
Every ordinal is a transitive set.