Considere um experimento aleatório cujo espaço amostral é igual a Ω e dois eventos A₁ e A₂ tais que A₁ ∪ A₂ = Ω e \( A_1 \cap A_2 = \varnothing \) . Para um evento X não vazio pertencente a Ω, há um teorema afirmando que:

\( P(A_i/X) = { \large P(X/A_i) P(A_i) \over \sum_{i =1}^2 P(X/A_i) P(A_i)} \)

Este teorema pode ser generalizado para uma partição qualquer de Ω e fornece a base inicial para uma importante área da estatística denominada de