Definition:Extended Real Valued Function

Definition
An extended real-valued function is a function whose codomain is the set of extended real numbers:


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

where $S$ is any set.