Definition:Discontinuous Real Function at Point