Mordukhovich criterion ($D^{\ast }S(\bar{u}\mid \bar{v})(0)=\{0\}$)

In finite dimensions, if the graph is locally closed at $(\bar{u},\bar{v})$, the Aubin property holds exactly when $D^{\ast }S(\bar{u}\mid \bar{v})(0)=\{0\}$. Thus no nonzero horizontal vector in the limiting normal cone may occur. The exact local Lipschitz modulus is the outer norm of this coderivative.