Characterization of Measurable Functions

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

Let $f: X \to \overline{\R}$ be an extended real-valued function.

Then the following are all equivalent: