# Elements of Minimal Infinite Successor Set are Well-Ordered

## Theorem

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

Let $a \in \omega$.

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