Kleene splits his definition of the unbounded μ operator to handle the two situations (a) and (b).
Kleene 分解他的无界μ算子定义来处理这两种情况 (a) 和 (b)。