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.