Definition:Differentiable Vector-Valued Function at Point