Successor function of natural numbers

The successor function of natural numbers is a function defined for all natural numbers that returns the next natural number.