Law of total probability (source code)

= Law of total probability
{wiki}

For a countable measurable partition $(B_i)$ with positive probabilities,
$$
\mathbb P(A)=\sum_i\mathbb P(A\mid B_i)\mathbb P(B_i).
$$