Law stating that if two events (see sample space) A and B are mutually exclusive then
For example, the probability that, when a normal six-sided die is rolled, it shows a multiple of 3 is
The generalization to a list A1, A2,…of mutually exclusive events is the law of total probability:
An equivalent form is: If an event A is the union of mutually exclusive events A1, A2, …, then
Another form of the law is: If the events B1, B2,…are mutually exclusive and exhaustive, then
This follows from the previous form by taking Aj=A ∩ Bj, for all j, and noting that, in this case, A=A1 ⋃ A2 ⋃ ⋯, and that the events A ∩ B1, A ∩ B2,…are mutually exclusive.
See also union, intersection.