(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) |
▶ | D1704: Complete measure |
▶ | D3804: Set of subnull sets |
▶ | R3513: Measurable subnull set has measure zero |