ein Prämaß auf M {\displaystyle {}M} und μ ~ {\displaystyle {}{\tilde {\mu }}} die Fortsetzung von μ {\displaystyle {}\mu } auf die von P {\displaystyle {}{\mathcal {P}}} erzeugte σ {\displaystyle {}\sigma } -Algebra A {\displaystyle {}{\mathcal {A}}} . Dann ist μ ~ {\displaystyle {}{\tilde {\mu }}} ein Maß