# Minimal Infinite Successor Set is Well-Ordered

Let $\omega$ be the minimal infinite successor set.
Then $\omega$ is well-ordered by $\subseteq$.