Directional derivative, formal definition