Recursive functions

1/4

Start with 0, the successor S(n)=n+1, and the projections πᵢ. Close under composition.

S, 0, π_{i}