Definition
Zero Function (Primitive Recursion)
For arity
, the zero function is It ignores its
inputs and always returns . It is the constant function . In a standard presentation of primitive-recursive functions, zero functions are basic functions; other constants are constructed using the successor function.
Example
Different arities