Definition:Removable Discontinuity of Real Function