Mordukhovich criterion
= Mordukhovich criterion
{c}
{title2=$D^*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^*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>.