This paper is centered around the following two results:

(Standard) For a continuous real function f with domain X we have:
f can be extended to an everywhere defined mapping with the same set of continuity points iff X is a G-delta set.
For a real function f with domain X we have:
f is the standard part of a hyperreal polynomial iff f is continuous and X is a G-delta set.