ThmDex – An index of mathematical definitions, results, and conjectures.
F562
Formulation 0
A D198: Probability measure $\mathbb{P} : \mathcal{F} \to [0, 1]$ is complete if and only if \begin{equation} \forall \, F \in \mathcal{F} \left( \mathbb{P}(F) = 0 \quad \implies \quad \forall \, E \subseteq F : E \in \mathcal{F} \right) \end{equation}