Successor set
A set is called a Successor Set iff
(i)
(ii);
Note that the set of natural numbers is not the only successor set.
For example, the set is also a successor set.
The set is called the Smallest Succesor Set because for any that is a succesor set