Definition:Differentiable Mapping/Real Function

Also see

 * Definition:Continuously Differentiable Real Function
 * Definition:Differentiability Class of Real Function