 Predecessor function

The predecessor function on the nonnegative integers is $\mathrm{pred}(0)=0$ and $\mathrm{pred}(n+1)=n$. This is a primitive recursive function by primitive recursion from the zero and projection functions.