Lemma: Bedingte Erwartung auf Sigma-Algebra ist monoton

Sei ein Wahrscheinlichkeitsraum.
Sei eine -Algebra.
Seien zwei Zufallsvariablen.

Dann gilt, dass die bedingte Erwartung monoton ist, also: