primitive recursion

{{computing theory}} The operator <math>\rho\,</math> that creates a new function from two functions <math>g\,</math> and <math>h\,</math> such that: <br /> <math>\begin{align}