Definition:Discontinuous Mapping/Real Function