== Основные определения ==
Рассмотрим <tex>(k+1) </tex>-местную функцию <tex> f(x_1,\ldots,x_k,y) </tex>. Тогда после преобразования у нас появится <tex> k </tex>-местная функция <tex> g(x_1,\ldots,x_k) = </tex> минимальное <tex> y </tex> при котором <tex> f(x_1,\ldots,x_k,y) = 0 </tex>. Это правило называется '''правилом минимизации''' и часто для него используют обозначения <tex> g(x_1,\ldots,x_k) = \mu y (f(x_1,\ldots,x_k,y) = 0) </tex>. Также отметим, что в дальнейшем мы будем сравнивать значение функции не только с нулем.
{{Определение
|definition=
