The successor function of nonzero natural numbers is a function that takes an element of the natural numbers, excluding zero, and returns the next number.

Extensions Edit

If its domain is extended to the set of natural numbers, with the value $ f\left(0\right) = 1 $, then it becomes the successor function of natural numbers.