Definition Given multiple constraints: g1=c1 g2=c2 … gk=ck With {∇g1(x0),…,∇gk(x0)} being Linearly Independent Let S be the set where all constraints are satisfied with x0∈S Then, f∣S has local extrema x0 ∇f(x0)=λ1∇g1(x0)+λ2∇g2(x0)+⋯+λk∇gk(xk)