In this section we will explain what the minimal successor set $\omega$ is. In Unit Natural Numbers and the Principle of Induction we will set $\mathbb{N}_0 := \omega$, that is, we will define that the set of the natural numbers is the minimal successor set $\omega$. In addition, we will set $n + 1 := n^+$.