Integrable Function is A.E. Real-Valued

Theorem

Let $\left({X, \Sigma, \mu}\right)$ be a measure space.

Let $f: X \to \overline{\R}$ be a $\mu$-integrable function.

Then $f \left({x}\right) \in \R$ for almost all $x \in X$.