Изменения
→Лемма о множествах вполне положительности заряда
{{Теорема
|statement=
<tex>(X, \mathfrak{A}, \mu), \quad A \in \mathfrak A, \quad \mu A \geqslant 0</tex> — множество положительности<br>
Тогда <tex>\exists B \subset A</tex> — множество положительности: <tex>\mu(B) \geqslant \mu(A)</tex>
|proof=
