Jeżeli zdarzenia losowe A, B_1, B_2 , … , B_n zawarte w Ω spełniają warunki: 1. B_1, B_2 , … , B_n są parami rozłączne, tzn. B_i ∩ B_j = ∅ dla i≠j, 1≤i≤n, 1≤j≤n 2. B_1 ∪ B_2 ∪ … ∪ B_n = Ω 3. P(B_i) > 0 dla 1≤i≤n 4. P(A)>0 to dla każdego k (1≤k≤n) prawdziwa jest równość P(B_k|A) = P(B_k) ⋅ P(A|B_k) / P(A|B_1) ⋅ P(B_1) + P(A|B_2) ⋅ P(B_2) + … + P(A|B_n) ⋅ P(B_n).