Definition:Differentiable Mapping/Real Function