**set of natural numbers** is the set containing all positive numbers. One way of defining it is using the Peano axioms and the successor function; in this sense, it is the set containing zero that is closed under the successor function of natural numbers.