An assumption that ensures similarity of the constraint set and its linearized approximation in a neighborhood of a point .
Also ensures that the linearized feasible set and the tangent cone are the same.
Why is it needed: fact check this They are needed to rule out special cases where optimal solutions does not fulfill the KKT (Karush–Kuhn–Tucker) Conditions.