Let $M = (X, \mathcal{F}, \mu)$ be a D1158: Measure space such that
| (i) | $f, g : X \to \mathbb{C}^D$ are each a D5608: Euclidean complex function on $M$ |
| (ii) | \begin{equation} f \overset{a.e.}{=} g \end{equation} |
Then
\begin{equation}
f - g
\overset{a.e.}{=} 0 \in \mathbb{C}^D
\end{equation}