1: \begin{definition}[Theorem~6.2.5 of \citep{borwein2010convex}]

2: %\label{def:clarke}

3: %	Suppose that a function $f(z) : \Omega \mapsto \reals$ is locally Lipschitz around the point $z^* \in \Omega$, and differentiable in $\Omega \setminus \mc W$ where $\mc W$ has Lebesgue measure zero. Then the Clarke differential of $f$ at $z^*$ is 

4: %	\begin{equation*}

5: %	\partial_z f(z^*) \defeq \textup{cvxhull} \{ \lim\nolimits_k \nabla f(z_k) \mid z_k \rightarrow z^*, z_k \notin \mc W\}.

6: %	\end{equation*}

7: %	If $\zeros{} \in \partial_z f(z^*)$, then $z^*$ is a critical point in the Clarke sense.

8: %\end{definition}

9: