Definition:Derivative of Vector-Valued Function