[2BH]Sia
assumiamo sempre che Fa sia non vuoto e che ∇𝜑(x)≠0 per ogni x∈Ea.
Chiamiamo punto di minimo locale di f vincolato a Fa un punto di Fa che sia di minimo locale per f|Fa; e similmente per i massimi.