Definition
Successor Function ( Primitive Recursion)
The successor function is the unary function
It returns the next natural number and is a basic function in the definition of primitive-recursive functions.
Example
Increasing a number by one
Combining outputs
Pairing
with the constant function gives a function : The pair contains the outputs of two functions on the same input; it is not itself the successor function.