# Law of total probability

Often, we have several events that partition the sample space. For example, we may have events like "the die is even" (call this event ) and "the die is odd" (this event is ); one of the two must happen (so ) but they cannot both happen (so ).

In this case, there is an easy way to compute the probability of another event by considering it separately in the case and the case:

If , , , partition the sample space, then for any ,

Proof: Law of total probability
The proof is pretty clear from the following picture:

Since the are disjoint, we have that the sets are disjoint; and since every element of is in one of the , we have that every element of is in one of the .

Therefore, we can apply the third Kolmogorov axiom to conclude

as required.