Definition:Extended Real Valued Function

Definition
An extended-real-valued function is a function whose range is the set of extended real numbers, i.e.


 * $f:S\to \R\cup \left\{ -\infty,\infty \right\}$

where $S$ is any set.