Definition:Continuous Real Function on Half Open Interval