Definition:Everywhere Continuous Real Function