Let $M = (X, \mathcal{F}, \mu)$ be a D1158: Measure space.
A D1109: Measurable set $E \in \mathcal{F}$ is a null measurable set in $M$ if and only if
\begin{equation}
\mu(E) = 0
\end{equation}
▶ | D6003: Null event |
▶ | D2801: Conull set |
▶ | D4764: Set of null sets |
▶ | D3802: Subnull set |
▶ | R4503: Countable union of sets of measure zero is of measure zero |