“…Condition (3.6) can be treated as a proper extension of the classical strong second-order sufficient condition [24] to which (3.6) reduces in the case of Θ = R l − , i.e., in the case of standard equality and inequality constraints as in nonlinear programming. We refer the reader to [14,15,17,18,19] for constructive versions of (3.6) in other constraint systems. Note that (3.6) is satisfied when g is Θ-convex, i.e., the set (y, z) ∈ R m × R l g(y) − z ∈ Θ is convex.…”