Definition:Differential of Real-Valued Function