Definition:Removable Discontinuity of Real Function/Definition 1