décomposé en n événements incompatibles 
( c'est à dire une partition
de ) et soit p une
probabilité sur
on a alors pour tout évenement M ( de probabilité non nulle
) :
ou avec le symbole sigma :
Pour comprendre cette formule utilisez un arbre probabiliste :
