Mutually exclusive events
By Jude Wallis · Published
Mutually exclusive events, also called disjoint events, cannot both occur on the same trial, so they share no outcomes and never happen together.
Two events and are mutually exclusive, or disjoint, when no outcome belongs to both, so ( is the intersection sign, read "and"). Said with conditional probability, : once has happened, is off the table for that trial. The addition rule then loses its overlap term and becomes , and the same plain sum extends to any collection of events that are disjoint in every pair.
Roll one fair die, with and . Each has probability , no outcome is in both, so and .
"A and B cannot happen together, so neither one affects the other, so they are independent." Put numbers on that same pair. Independence demands , and here while . The two are not equal, so the events are dependent, and about as dependent as events get: learning that occurred drops the probability of from to 0. In general, if and and the events are mutually exclusive, then , so they cannot be independent. Disjoint is the opposite of unrelated, not a version of it.
The condition that both probabilities exceed 0 is doing real work. Let be "the die shows a 7", so . Then and as well, which makes and disjoint and independent at the same time. That degenerate case is the only escape, which is why the rule is always stated with both probabilities above zero.
Justifying that two events are mutually exclusive from their joint probability is the whole of topic 2.5.
Where this comes up
More probability terms, or browse the full statistics glossary.