 Definition 2.3:    The class of primitive recursive functions \(\mathbf{PR}\)  is the smallest class of functions containing the initial functions  \(I_{\mathbf{PR}} = \{\mathbf{0}, s, \pi^k_i\}\) and closed under the  functionals