Given a calculus field? of scalars and a type of indices , one could define a calculus vector space? with canonical function . Let be a directionally differentiable function valued in scalars, and given a vector , the directional derivative is pointwise defined as