Определение. Если  представляет собой действительную непрерывно дифференцируемую функцию, а множество задано системой уравнений

где - непрерывно дифференцируемые скалярные функции,  - действительные числа, то задача

.

называется классической задачей на условный (относительный) экстремум.