ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11045 on D2887: Absolutely continuous measure
F11045
Formulation 2
Let $\mu, \nu : \mathcal{F} \to [0, \infty]$ each be an D85: Unsigned basic measure.
Then $\nu$ is absolutely continuous with respect to $\mu$ if and only if \begin{equation} \forall \, E \in \mathcal{F} \left( \mu(E) = 0 \quad \implies \quad \nu(E) = 0 \right) \end{equation}