μ算子（）或者极小化算子（），无界查找算子（）在可计算性理论中，被用来寻找给定性质下的最小自然数。
定义.R( y, x , . . ., x ) 是固定的在自然数上的 "k+1" 元关系。低洼“μy”，在无界和有界形式下，都是从自然数 { 0, 1, 2, . . . } 到自然数的“数论函数”。但是，“μy”包含在谓词被满第三代有界μ算子最早出现在 Kleene（1952年）书中的“第4章原始递归函数，§45 谓词，素因子表示”中：大幅度Kleene 提示说对变量 y 的