Formule des probabilités totales
Fondamental :
Une famille d'événements est un système complet si :
ils sont deux à deux incompatibles,
leurs probabilités sont non nulles,
leur réunion est l'univers .
Alors : pour tout événement .
Fondamental :
En particulier, si est un événement tel que et , alors : pour tout événement .