Definition:Extended Real Valued Function
From ProofWiki
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.
