Let $M = (X, \mathcal{F}, \mu)$ be a D1158: Measure space such that

(1)	$f : X \to [0, \infty]$ is a D313: Measurable function on $M$

Then \begin{equation} \int_X I_{\emptyset} f \, d \mu = 0 \end{equation}