Set of nonzero natural numbers

The set of nonzero natural numbers is the set containing all members of the set of natural numbers, excluding zero. It can also be constructed as the set containing the number one that is closed under the successor function of nonzero natural numbers.