 The class of so-called partial recursive functions is obtained from our prior definition of \(\mathbf{PR}\) by closing under an operation similar to \(\mu_R(\vec{x},z)\) which is applied to functions rather than relations. In order to define this class, we first introduce the following conventions regarding partial functions which extends those given at the beginning of  Section 2: