Definition:Differentiable Vector-Valued Function