\begin{definition}[Definition:Extended Real-Valued Function]
Let $S$ be a set, and let $\overline \R$ denote the extended real numbers.
A mapping $f: S \to \overline \R$ is said to be an '''extended real-valued function'''.
\end{definition}