Proposition: Wahrscheinlichkeitsmaße sind Sigma-Subadditiv

Sei ein Wahrscheinlichkeitsraum.

Dann ist -subadditiv. Für beliebige Ereignisse gilt also:

Beweis

Da wir hier bereits gezeigt haben, dass , erfüllt alle Eigenschaften einer Maßfunktion.

Da Maßfunktionen -subadditiv sind (siehe Maß auf Sigma-Algebra ist Sigma-Subadditiv) folgt die Behauptung.