Why We Need a Language for Random Events
Before mathematicians had a shared vocabulary for probability, arguments about dice, card games, and insurance payouts were resolved by intuition—and intuition often failed. The development of set theory as a foundation for probability took centuries. Understanding this backstory shows you why we define events as subsets rather than vague ideas like "the chance of rain."
Kolmogorov's insight was elegant: once you model all possible outcomes as a universal set, every question you can ask about "what might happen" corresponds to a well-defined subset. Unions, intersections, and complements let you combine simple events into complex ones without ambiguity. That is exactly what this lesson teaches you to do.
Core Definitions & Principles
At the heart of probability are three closely related ideas: the sample space, outcomes, and events. Once you grasp how these three fit together, every other probability concept—from conditional probability to independence—builds on top of them.
Sample Space (S)
Outcome
Event
Describing Events
Venn Diagram: Visualizing Events Inside S
The most powerful visual for understanding events as subsets is the Venn diagram. In the diagram below, the large rectangle represents the sample space S for drawing one card from a standard 52-card deck. Two events are shown: A = "the card is a heart" and B = "the card is a face card (J, Q, K)." Notice how the overlapping region represents the intersection A ∩ B—the face cards that are also hearts.
Every region in the Venn diagram corresponds to a subset you can name using set operations. The left crescent (in A but not in B) is A ∩ B′. The right crescent is A′ ∩ B. The combined shaded area is the union A ∪ B, and everything outside both circles is the complement (A ∪ B)′. Being able to point to a region in the diagram and write its set expression—and vice versa—is the skill this lesson develops.
Set Operations & Their Probability Rules
Three fundamental set operations let you build any event from simpler pieces. Each has a direct translation into probability language and a formula for computing probabilities.
The Addition Rule
When you take the union of two events, you must be careful not to double-count outcomes that belong to both. This gives the Addition Rule:
If A and B are mutually exclusive (they share no outcomes, so A ∩ B = ∅), then P(A ∩ B) = 0 and the formula simplifies to P(A ∪ B) = P(A) + P(B). The complement rule follows directly from the fact that A and A′ partition S: P(A′) = 1 − P(A).
Describing Events by Characteristics & Categories
One of the most practical skills in probability is describing events using characteristics of the outcomes rather than listing every element. When you say "the card drawn is red," you are partitioning the sample space by the characteristic color and selecting one category. When you say "the die shows a number greater than 4," you're using the characteristic value with an inequality criterion. Combining characteristics with set operations lets you express highly specific events concisely.
Consider rolling two six-sided dice. The sample space S has 36 outcomes—each an ordered pair (d₁, d₂) where d₁ and d₂ range from 1 to 6. Rather than listing all 36 pairs, you can describe events by characteristics of the sum, the individual dice, or their relationship.
In Figure 2, event A = "the sum equals 7" is defined by a characteristic of the pair—the sum. Event B = "the first die is even" is defined by a category of a single die. The green cells show the intersection A ∩ B, outcomes where the sum is 7 and d₁ is even: {(2,5), (4,3), (6,1)}. This grid-based approach is especially handy for two-dice problems because every cell has equal probability 1/36.
| Set Expression | English Description | Outcomes | Count |
|---|---|---|---|
A | Sum equals 7 | (1,6) (2,5) (3,4) (4,3) (5,2) (6,1) | 6 |
B | First die is even | All (2,_), (4,_), (6,_) | 18 |
A ∩ B | Sum = 7 and d₁ even | (2,5) (4,3) (6,1) | 3 |
A ∪ B | Sum = 7 or d₁ even (or both) | All of B plus (1,6) (3,4) (5,2) | 21 |
A′ | Sum ≠ 7 | All 30 remaining pairs | 30 |
(A ∪ B)′ | Sum ≠ 7 and d₁ odd | All odd-d₁ pairs with sum ≠ 7 | 15 |
Worked Example: Survey Data
A class of 40 students was surveyed about two extracurricular activities. Define events: M = "plays a musical instrument" (18 students), S = "plays a sport" (22 students), and 8 students do both. Find P(M ∪ S), P(M ∩ S′), and P(M′ ∩ S′).
Strengths, Limitations & Common Pitfalls
| Strength | Limitation / Pitfall |
|---|---|
| Set notation is unambiguous—every event is precisely defined, eliminating confusion about what "or" means. | Students often confuse everyday "or" (exclusive) with mathematical "or" (inclusive). A ∪ B includes outcomes in both A and B. |
| Venn diagrams provide a visual check that regions partition S without overlap or gaps. | Venn diagrams become unwieldy for more than three events. With four or more events, tables or systematic listing may be clearer. |
| The Addition Rule handles any two events, whether overlapping or mutually exclusive. | Forgetting to subtract P(A ∩ B) is the most common arithmetic error—double-counting inflates the probability. |
| Describing events by characteristics scales naturally to large sample spaces (e.g., "red cards" vs. listing 26 cards). | When outcomes are not equally likely, you must use probabilities rather than simple counting. This approach assumes you know the probability model. |
| De Morgan's Laws provide a bridge: (A ∪ B)′ = A′ ∩ B′ and (A ∩ B)′ = A′ ∪ B′. | Misapplying De Morgan's Laws—for example, writing (A ∪ B)′ = A′ ∪ B′—is a frequent mistake. Always negate and flip the operation. |
Connection to Conditional Probability & Independence
Everything you've learned about events as subsets feeds directly into two major topics you'll encounter next: conditional probability and independence. Conditional probability asks: given that event B has occurred, what is the probability of event A? In set language, you're restricting your sample space from S to just B, and then looking at the fraction of B that also falls in A.
Two events A and B are independent if knowing that B occurred does not change the probability of A. Algebraically, this means P(A ∩ B) = P(A) × P(B). Independence is a property of how two subsets relate within S—it cannot even be stated without the subset framework you've just learned.
| Concept | This Lesson | Next Topic |
|---|---|---|
| Event definition | Subset of S described by characteristics or set operations | Same, but now we condition—restrict—the "universe" to a smaller subset |
| Intersection | A ∩ B: outcomes in both A and B | Numerator of conditional probability; test for independence |
| Complement | A′ = S \ A | Used in Bayes' Theorem via P(A′) = 1 − P(A) |
| Union | A ∪ B with Addition Rule | Extended to three or more events; Inclusion–Exclusion Principle |
Mastering the idea that events are subsets gives you the precise language needed for every probability argument going forward. Without it, conditional probability and independence would be hand-waving; with it, they become clean algebraic statements about sets.
Practice Problems
Lesson Summary
In this lesson you learned that every probability question begins with a sample space S—the complete set of possible outcomes—and that any event is simply a subset of S. Events can be described by characteristics or categories of the outcomes (such as "even," "red," or "sum greater than 9") rather than by listing each outcome individually. Three fundamental set operations let you build complex events from simple ones: the union (A ∪ B) captures "A or B or both," the intersection (A ∩ B) captures "A and B," and the complement (A′) captures "not A."
The Addition Rule P(A ∪ B) = P(A) + P(B) − P(A ∩ B) prevents double-counting, while De Morgan's Laws let you rewrite complements of unions as intersections of complements (and vice versa). Venn diagrams serve as a visual check that your subsets partition S without overlap or gaps. These ideas form the essential foundation for conditional probability and independence—the topics you'll study next. Master the language of sets, and every probability formula becomes a statement about well-defined collections of outcomes.