## FANDOM

77 Pages

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.