Soit un univers
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 :