Definition:Derivative of Vector-Valued Function on Open Set