ThmDex – An index of mathematical definitions, results, and conjectures.
P3111
Since we define \begin{equation} \int_E f \, d \mu = \int_E \Re f \, d \mu + i \int_E \Im f \, d \mu \end{equation} then this result follows as a consequence of the result R4562: Basic integral over a set of measure zero is zero. $\square$