# Integrable Function is A.E. Real-Valued

## Theorem

Let $\struct {X, \Sigma, \mu}$ be a measure space.

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

Then $\map f x \in \R$ for almost all $x \in X$.