Def. The generalized gradient of $f$ at $x$, denote $\partial f(x)$ is the convex hull of the set of limits of the form $\lim\nabla f(x + h_i)$ where $h_i \to 0 (i \to \infty)$.
It follow that $\partial f$ is a nonempty convex compact set.