Definition:Continuous Real Function on Interval