Endlicher Wahrscheinlichkeitsraum/Bayessche Formel/Fakt/Name/Inhalt
Es sei ein endlicher Wahrscheinlichkeitsraum und
eine Zerlegung in disjunkte Teilmengen, die alle positive Wahrscheinlichkeiten haben mögen. Dann ist für jedes Ereignis mit positiver Wahrscheinlichkeit