Endlicher Wahrscheinlichkeitsraum/Bedingte Wahrscheinlichkeit/Unabhängigkeit/Fakt

Es sei ein endlicher Wahrscheinlichkeitsraum und eine Teilmenge mit positiver Wahrscheinlichkeit und es sei ein Ereignis.

Dann sind und genau dann unabhängig, wenn

ist, wenn also die Wahrscheinlichkeit von mit der bedingten Wahrscheinlichkeit von unter der Bedingung übereinstimmt.