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

Die Fortsetzung eines äußeren Maßes

$\mu \colon {\mathcal {P}}\longrightarrow {\overline {\mathbb {R} }}_{\geq 0}$

auf einem Präring ${}{\mathcal {P}}$ auf einer Menge ${}M$.