\begin{definition}[Definition:Minimal Infinite Successor Set/Definition 2]
The '''minimal infinite successor set''' $\omega$ is defined as the set of all finite ordinals:
:$\omega := \set {\alpha: \alpha \text{ is a finite ordinal} }$
\end{definition}