(i) | $E \subseteq X$ is a D78: Subset of $X$ |
(1) | \begin{equation} E \subseteq F \end{equation} | (D78: Subset) |
(2) | \begin{equation} \mu(F) = 0 \end{equation} | (D1676: Null measurable set) |
(i) | $E \subseteq X$ is a D78: Subset of $X$ |
(1) | \begin{equation} E \subseteq F \end{equation} | (D78: Subset) |
(2) | \begin{equation} \mu(F) = 0 \end{equation} | (D1676: Null measurable set) |
▶ | Complete measure |
▶ | Set of subnull sets |
▶ | Measurable subnull set has measure zero |