Minimal Infinite Successor Set is Well-Ordered

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

Then $\omega$ is well-ordered by $\subseteq$.