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.