 A question which naturally arises at this stage is whether more than one application of unbounded minimization is required to obtain all partial recursive functions. The fact that a single application is sufficient is a consequence of the Kleene Normal Form Theorem. In order to formulate this result, it is convenient to officially extend the application of the \(\mu\)-operator to relations in the manner discussed at the beginning of this section—i.e., 