Définition
On dit que les ensembles non vides 
forment une partition de
lorsque les ensembles 
sont deux à deux disjoints et que leur réunion est
.
Théorème
, des événements de probabilité non nulle, réalisent une partition de l'univers
.
Alors la probabilité d'un événement
est donnée par :
, soit
.
