I was actually aiming for the situation where a function is defined on all reals but still discontinuous (e.g. the piecewise function in the wiki article for the removable discontinuity). So there's a discontinuity (x=1), however the function is defined everywhere.