Definition:Differential of Real Function