Мю-оператор (минимизации оператор, наименьшего числа оператор)

оператор μ, ставящий арифметической функции g от (n + 1) переменных в соответствие арифметическуюфункцию f от n переменных по следующему правилу: для любого набора натуральных чисел x1, x2, ... , xn принимается f (x1, x2, ... , xn) = m, где m — наименьшее из таких натуральных чисел, что g(x1, x2, ... , xn, j) определено при всех j ∈ [0, m] и g(x1, x2, ... , xn, m) = 0; если такого m не существует, то функция f для этого набора x1, x2, ... , xn не определена