Множества меры 0, лебеговская мера их подмножеств

[xmaister]

Аааа, кажется понял. Если $\mu^*(A)=0$, тогда $\forall\varepsilon >0\exists\{A_i\}_{i=1}^{\infty}:\sum\limits_{i=1}^{\infty}\mu^*(A_i)\le\varepsilon$, $\bigcup\limits_{i=1}^{\infty}A_i$ содержит $A$. $B\subset A$, тогда $\mu^*\left(B\Delta\bigcup\limits_{i=1}^{\infty}A_i\right)\le\mu^*\left(\bigcup\limits_{i=1}^{\infty}A_i\right)\le\varepsilon$, значит $B$ измеримо и имеет меру нуль. Так правильно будет?