Definition:Differentiable Real Function in Open Set