Satz: Satz von der totalen W.

Ist $(\Omega, \mathcal{A}, \mathbb{P})$ ein W.raum und $(B_i)_{i \in I} \subseteq \mathcal{A}$ eine abzählbare Zerlegung von $\Omega$ mit $\mathbb{P}(B_i) > 0$ für alle $i \in I$, so gilt für jedes $A \in \mathcal{A}:$