Definition:Differential of Vector-Valued Function at Point