Minimal Infinite Successor Set is Ordinal

Theorem
Let $\omega$ denote the minimal infinite successor set.

Then $\omega$ is an ordinal.