\begin{definition}[Definition:Removable Discontinuity of Real Function]
Let $A \subseteq \R$ be a subset of the real numbers.
Let $f: A \to \R$ be a real function.
Let $f$ be discontinuous at $a\in A$.
\end{definition}