Lemma: Erwartungswert des bedingten Erwartungswertes auf Sigma-Algebra

Sei ein Wahrscheinlichkeitsraum.
Sei eine Teil--Algebra.
Sei eine reelle Zufallsvariable mit .

Dann gilt: