Satz: Formel von Bayes

 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 alle $i \in I$ und alle $A \in \mathcal{A}$ mit $\mathbb{P}(A) > 0$: