\begin{definition}[Definition:Discontinuous Mapping/Real Function]
Let $f$ be a real function.
Then $f$ is '''discontinuous''' {{iff}} there exists at least one $a \in \R$ at which $f$ is discontinuous.
\end{definition}