Definition:Continuous Real Function