Proposition: Wahrscheinlichkeitsmaße sind Monoton

Sei ein Wahrscheinlichkeitsraum.

Dann ist monoton. Für beliebige Ereignisse gilt also:

Beweis

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

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