=4. Понятие о мю*- измеримых множествах. Доказательство основной теоремы=
бла{{Определение|definition=Пусть есть множество <tex> X </tex> и внешняя мера <tex> \mu^* </tex> на нем, и множества <tex> A, B </tex> являются подмножествами <tex> X </tex>. Множество <tex> A </tex> '''хорошо разбивает''' множество <tex> B </tex>, если <tex> \mu^*(B) = \mu^*(B \cap A) + \mu^*(B \cap \overline{A}) </tex>.}} {{Определение|definition=Множество <tex>A \in X</tex> называется <tex>\mu*</tex>-бла-блаизмеримым, если оно ''хорошо разбивает'' всякое множество <tex>E \in X</tex>.}}
=5. Распространение меры с полукольца на сигма-алгебру по Каратеодори. Доказательство теоремы=
