Dado $(\Omega, \mathcal{A},P)$, sean $A_1; A_2; .....; A_n$ sucesos incompatibles dos a dos, tales que $\bigcup_{i=1}^{n}A_i=\Omega$  y $P(A_i) > 0$ con i = 1;........;n ($n \geq 2$). Entonces, para  cualquier suceso $B$, tenemos
$P(B)=\sum_{i=1}^{n}P(A_i)P(B|A_i)$