Limiting normal cone (source code)

= Limiting normal cone
{title2=$N_C(z)=\limsup_{z^\prime\to z}\widehat N_C(z^\prime)$}

= Mordukhovich normal cone
{c}
{synonym}

The limiting normal cone consists of limits $w_k\to w$ of vectors from the <Fréchet normal cone> $w_k\in\widehat N_C(z_k)$ with $z_k\to z$ in $C$. It need not be convex. Including normals from nearby graph pieces is essential to the <Mordukhovich criterion>.