Jeżeli zdarzenia losowe $B_1$, $B_2$, ..., $B_n$, gdzie $B_1,B_2,\dots ,B_n\subset \Omega$, spełniają warunki

$\begin{array}{rl}& 1^{\circ }{B}_i\cap B_j=\cancel{\circ },\text{gdy}i\ne j\text{oraz}i\in \{1,\dots ,n\},j\in \{1,\dots ,n\}\\ & 2^{\circ }{B}_1\cup B_2\cup \dots B_n=\Omega \\ & 3^{\circ }P(B_i)>0,\text{gdy}i\in \{1,\dots ,n\}\end{array}$

to mówimy, że tworzą układ zupełny zdarzeń. Gdy tak jest, to dla każdego zdarzenia $A$, gdzie $A\subset \Omega$ zachodzi równość

$P\left(A\right)=P\left(B_1\right)\cdot P\left(A|B_1\right)+P\left(B_2\right)\cdot P\left(A|B_2\right)\cdot P\left(B_2\right)+\dots +P\left(B_n\right)\cdot P\left(A|B_n\right)$