Definition:Continuous Real Function at Point