Niech Ω będzie zbiorem wszystkich wyników pewnego doświadczenia.
Jeśli zdarzenia B₁, B₂, ..., B_n spełniają następujące warunki

• zawsze zachodzi przynajmniej jedno z nich (B₁ ∪ B₂ ∪ ... ∪ B_n = Ω)
• prawdopodobieństwo każdego z nich jest dodatnie                          
• zdarzenia te parami się wykluczają                                                

to prawdopodobieństwo dowolnego zdarzenia A ⊂ Ω opisuje wzór

$P\left(A\right)=P\left(B_1\right)\cdot P\left(A\mid B_1\right)+P\left(B_2\right)\cdot P\left(A\mid B_2\right)+\dots +P{B}_n)\cdot P\left(A\mid B_n\right)$