ThmDex – An index of mathematical definitions, results, and conjectures.
F7993
Formulation 0
Let $M = (X, \mathcal{F}, \mu)$ be a D1158: Measure space such that
(i) $\mu(F) = 0$ for $F \in \mathcal{F}$
Then \begin{equation} \forall \, E \subseteq F \, (E \in \mathcal{F} \quad \Rightarrow \quad \mu(E) = 0) \end{equation}