Изменения
Нет описания правки
1) Полагаем <tex> \mu^*(A) = + \infty </tex>, если <tex> A </tex> нельзя покрыть не более чем счетным количеством множеств из полукольца.
2) Полагаем <tex> \mu^*(A) = \inf\limits_{A \subset \bigcup\limits_{n} E_n} \sum\limits_{n} m(E_n) </tex>, в противном случае<tex>(\exists E_1, E_2, ..., E_n, ... \in R: A \subset \bigcup\limits_{n} E_n )</tex> ; то есть внешняя мера является нижней гранью множества мер для всех не более чем счетных покрытий <tex> A </tex> из полукольца <tex> \mathcal R </tex>.
{{Теорема
