界，所以在它的定义中不出现不等式。对于一个给定 R(y) 无界μ算子 μyR(y)（注意不要求“（Ey）”）可以导致全函数或偏函数。Kleene 以不同的方式写这个潜在的偏函数(cf. p. 317):
性质.(i) 在原始递归函数的上下文中，这里的 μ算子的查找变量 y 是有界的，也就是在下面公式中的 y<z，如果谓词 R 是原始递归的（Kleene Proof #E p. 228），则(ii) 在（全）递归函数的上下文中：这里的查找变量是无界的，但是保证对全递归谓词 R