Primitive recursive function

Primitive recursive functions are generated by zero, successor, and projections under composition and primitive recursion.