Präring/Äußeres Maß/Fortsetzung auf Potenzmenge/Äußeres Maß/Fakt

Es sei $M$ eine Menge, $𝒫$ ein Präring auf $M$ und

$\mu :𝒫⟶{\overline{ℝ}}_{\ge 0}$

ein äußeres Maß auf $M$.

Dann ist die Fortsetzung $\tilde{\mu }$ des äußeren Maßes $\mu$ ein äußeres Maß auf der Potenzmenge $𝔓(M)$, das auf $𝒫$ mit $\mu$ übereinstimmt.

Zum Beweis, Alternativen Beweis erstellen