Definition:Discontinuous Real Function