ThmDex – An index of mathematical definitions, results, and conjectures.
P3110
Since we define \begin{equation} \int_E f \, d \mu = \int_E f^+ \, d \mu - \int_E f^- \, d \mu \end{equation} then this result follows as a consequence of the result R3512: Unsigned basic integral over set of measure zero is zero. $\square$