Definition. Let $\omega$ be the successor set with the following property: If ${\cal S}$ is a successor set, then the set $\omega$ is a subset of the set ${\cal S}$ (Theorem [#nst-th-existence-omega]).