Lemma 15.3.1. Let $(X, \cm)$ be a measurable space and $f: X \to \real$, then the following are equivalent:
$f$ is $(\cm, \cb_{\ol \real})$-measurable.
$f$ is $(\cm, \cb_{\real})$-measurable.
Proof. (1) $\Rightarrow$ (2): $\cb_{\real}\subset \cb_{\ol \real}$.
(2) $\Rightarrow$ (1): For any $E \subset \ol{\real}$, $f^{-1}(E) = f^{-1}(E \cap \real) \in \cm$.$\square$