Normal derivative

The derivative of a function defined in a neighbourhood of a manifold (or, respectively, on a manifold with boundary) in the direction of the normal to that manifold (respectively, to the boundary).