Definition:Partial Derivative of Real-Valued Function at Point