Definition:Differentiable Mapping/Vector-Valued Function