# Mutual exclusivity

**Mutual exclusivity** is a property of two or more events in probability theory: the events cannot occur at the same time, so no outcome of the experiment belongs to more than one of them. In set language, events A and B are mutually exclusive (also called disjoint) when their intersection is empty, which forces P(A and B) = 0.<sup>[1](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)</sup><sup> • </sup><sup>[2](https://data140.org/fa18/textbook/chapters/Chapter_02/01_Addition)</sup> The property is set-theoretic in nature, a statement about which outcomes the events contain, not about how their probabilities influence each other.<sup>[3](https://mindspaneducation.com/learn/probability-and-statistics/independent-events/)</sup>

| Key fact | Detail |
|---|---|
| Definition | A and B are mutually exclusive if they cannot happen at the same time; they share no outcomes, so P(A and B) = 0<sup>[1](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)</sup> |
| Addition rule | For mutually exclusive events, P(A or B) = P(A) + P(B); for n mutually exclusive events, P(E₁ or … or Eₙ) = Σ P(Eᵢ)<sup>[1](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)</sup><sup> • </sup><sup>[4](https://web.stanford.edu/class/stats305c/lectures/Probability.html)</sup> |
| General rule | For events that are not mutually exclusive, P(A or B) = P(A) + P(B) − P(A and B)<sup>[1](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)</sup> |
| Conditional form | Mutually exclusive: P(A\|B) = 0; independent: P(A\|B) = P(A)<sup>[5](https://ics.uci.edu/~jutts/7-W13/Lecture13.pdf)</sup> |
| Axiomatic role | Additivity over mutually exclusive events is Kolmogorov's third axiom of probability, extended to countable collections<sup>[2](https://data140.org/fa18/textbook/chapters/Chapter_02/01_Addition)</sup> |

## Definition and examples

Two events are mutually exclusive if the two events cannot happen at the same time; the events do not share any outcomes, and so P(A and B) = 0.<sup>[1](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)</sup> Equivalently, at most one of them can happen.<sup>[2](https://data140.org/fa18/textbook/chapters/Chapter_02/01_Addition)</sup>

Standard examples show the pattern and its limits:

- In a single coin flip, the events heads and tails are mutually exclusive because both cannot appear on the top face.<sup>[1](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)</sup>
- Drawing one card, the events heart and spade are mutually exclusive because no card is both; heart and jack are not, because the jack of hearts satisfies both.<sup>[6](https://openstax.org/books/statistics/pages/3-3-two-basic-rules-of-probability)</sup>
- Rolling one die, the events roll is 3 and roll is 4 are mutually exclusive; the events roll is 4 and roll is even are not, because 4 belongs to both.<sup>[4](https://web.stanford.edu/class/stats305c/lectures/Probability.html)</sup><sup> • </sup><sup>[1](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)</sup>
- Selecting one student, freshman and sophomore are mutually exclusive because no student is both, though a student can be neither.<sup>[2](https://data140.org/fa18/textbook/chapters/Chapter_02/01_Addition)</sup>

In a [Venn diagram](https://www.edgepedia.org/venn-diagram), mutually exclusive events are drawn as non-overlapping regions.<sup>[2](https://data140.org/fa18/textbook/chapters/Chapter_02/01_Addition)</sup>

## The addition rule

Mutual exclusivity matters chiefly because it simplifies the probability of a union. The general addition rule counts the overlap twice, so the overlap must be subtracted: P(A or B) = P(A) + P(B) − P(A and B).<sup>[1](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)</sup> When the events are mutually exclusive the overlap is empty, nothing is subtracted, and the rule reduces to P(A or B) = P(A) + P(B).<sup>[1](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)</sup>

A worked example from a bag of 20 balls, 10 white, 7 red, and 3 blue: the events selecting a white ball and selecting a red ball are mutually exclusive, so P(white or red) = 10/20 + 7/20 = 0.85.<sup>[1](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)</sup> By contrast, if 60% of students take a math class, 50% take a science class, and 30% take both, the events are not mutually exclusive and P(math or science) = 0.6 + 0.5 − 0.3 = 0.8.<sup>[1](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)</sup>

The rule extends beyond two events: if E₁, …, Eₙ are mutually exclusive, then P(E₁ ∪ … ∪ Eₙ) = Σᵢ P(Eᵢ).<sup>[4](https://web.stanford.edu/class/stats305c/lectures/Probability.html)</sup> For three events that are not mutually exclusive, the inclusion of pairwise and triple intersections gives P(E₁ ∪ E₂ ∪ E₃) = P(E₁) + P(E₂) + P(E₃) − P(E₁ ∩ E₂) − P(E₁ ∩ E₃) − P(E₂ ∩ E₃) + P(E₁ ∩ E₂ ∩ E₃).<sup>[4](https://web.stanford.edu/class/stats305c/lectures/Probability.html)</sup>

## Role in the axioms of probability

Additivity over mutually exclusive events is not just a computational shortcut; it is one of the defining axioms of probability. [Andrey Kolmogorov](https://www.edgepedia.org/andrey-kolmogorov)'s 1933 *Grundbegriffe der Wahrscheinlichkeitsrechnung* laid the foundations of probability theory in terms of set and measure theory, and his axiom system treats disjoint events directly.<sup>[7](https://www.sciencedirect.com/science/chapter/edited-volume/pii/B978044450871350156X)</sup> In the finite setting, the third axiom says that if A and B are mutually exclusive, then P(A ∪ B) = P(A) + P(B), and it implies the same for any fixed finite collection of pairwise disjoint events.<sup>[2](https://data140.org/fa18/textbook/chapters/Chapter_02/01_Addition)</sup> The full modern axiom requires countable additivity: for any countable collection of pairwise disjoint events A₁, A₂, …, P(∪ Aᵢ) = Σ P(Aᵢ).<sup>[8](https://www.math.cmu.edu/~gautam/c/2026-425/notes/probability-spaces.html)</sup>

The countable form is a genuine strengthening. Finite additivity can be insufficient when dealing with infinite outcome spaces, which is why countable additivity is assumed in the measure-theoretic development of probability.<sup>[9](https://personal.utdallas.edu/~metin/Probability/MyNotes/eventsMeasurability.pdf)</sup> Requiring additivity over uncountable collections, by contrast, produces awkward mathematics: for a dart thrown at the unit interval, an uncountable additivity principle would force some single point to carry positive probability even though it is smaller than any subinterval of positive size.<sup>[10](https://openlearninglibrary.mit.edu/courses/course-v1%3AMITx%2B24.118x%2B2T2020/courseware/b81fa7fa0e614b019f1302218309fa9d/c3c96a46545e413db2a606c4bb225347/?activate_block_id=block-v1%3AMITx%2B24.118x%2B2T2020%2Btype%40sequential%2Bblock%40c3c96a46545e413db2a606c4bb225347)</sup>

A useful bound follows without any exclusivity assumption. Because probabilities are non-negative, P(E₁ ∪ E₂) ≤ P(E₁) + P(E₂), and for many events P(∪ᵢ Eᵢ) ≤ Σᵢ P(Eᵢ); equality holds exactly when the events are mutually exclusive.<sup>[4](https://web.stanford.edu/class/stats305c/lectures/Probability.html)</sup>

## Mutual exclusivity versus independence

Mutually exclusive and independent events are two of the most commonly confused probability properties, and they describe opposite things. [Independence](https://www.edgepedia.org/independence-probability-theory) is a probability condition: one event occurring leaves the probability of the other unchanged, P(A|B) = P(A). Mutual exclusivity is a set condition: one event occurring forces the probability of the other to zero, P(A|B) = 0.<sup>[3](https://mindspaneducation.com/learn/probability-and-statistics/independent-events/)</sup><sup> • </sup><sup>[5](https://ics.uci.edu/~jutts/7-W13/Lecture13.pdf)</sup>

For events with positive probability the two properties cannot hold together. If A and B are mutually exclusive, knowing that A happened makes B impossible, which changes B's probability, so the events are dependent. Formally, independence requires P(A and B) = P(A)P(B), but mutual exclusivity gives P(A and B) = 0, and the product P(A)P(B) is positive when both probabilities are positive.<sup>[5](https://ics.uci.edu/~jutts/7-W13/Lecture13.pdf)</sup>

A single card draw illustrates the distinction: drawing a Heart and drawing a Spade are mutually exclusive, because learning the card is a Heart drops the probability of Spade from 13/52 to zero.<sup>[11](https://stat20.berkeley.edu/fall-2026/extras/ME_Indep_probability.html)</sup>

## References

1. [3.4 The Addition Rule, Introduction to Statistics, Second Edition, eCampusOntario](https://ecampusontario.pressbooks.pub/introstats2ed/chapter/3-4-the-addition-rule/)
2. [Addition, Prob 140 Textbook, UC Berkeley](https://data140.org/fa18/textbook/chapters/Chapter_02/01_Addition)
3. [Independent Events vs Mutually Exclusive Events, MindSpan Education](https://mindspaneducation.com/learn/probability-and-statistics/independent-events/)
4. [Probability, STATS305C, Stanford University](https://web.stanford.edu/class/stats305c/lectures/Probability.html)
5. [Lecture 13, Statistics 7, UC Irvine (J. Utts)](https://ics.uci.edu/~jutts/7-W13/Lecture13.pdf)
6. [3.3 Two Basic Rules of Probability, OpenStax Statistics](https://openstax.org/books/statistics/pages/3-3-two-basic-rules-of-probability)
7. [A.N. Kolmogorov, Grundbegriffe der Wahrscheinlichkeitsrechnung (1933), ScienceDirect](https://www.sciencedirect.com/science/chapter/edited-volume/pii/B978044450871350156X)
8. [Probability spaces and Random Variables, Carnegie Mellon University](https://www.math.cmu.edu/~gautam/c/2026-425/notes/probability-spaces.html)
9. [Outcomes, Counting, Countability, Measures and Probability, UT Dallas](https://personal.utdallas.edu/~metin/Probability/MyNotes/eventsMeasurability.pdf)
10. [The Principle of Countable Additivity, MIT Open Learning Library](https://openlearninglibrary.mit.edu/courses/course-v1%3AMITx%2B24.118x%2B2T2020/courseware/b81fa7fa0e614b019f1302218309fa9d/c3c96a46545e413db2a606c4bb225347/?activate_block_id=block-v1%3AMITx%2B24.118x%2B2T2020%2Btype%40sequential%2Bblock%40c3c96a46545e413db2a606c4bb225347)
11. [Mutually Exclusive vs. Independent Probability, Stat 20, UC Berkeley](https://stat20.berkeley.edu/fall-2026/extras/ME_Indep_probability.html)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Statistics and probability › Probability theory › Conditional probability and independence › Independence of events*

*Initially written Sep 17, 2026 · Reviewed: Sep 17, 2026; Oct 15, 2026 · Edited: Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license