Events: Complement, Intersection and Union
Complements, intersections and unions combine probability events by describing not, and and inclusive or. In brief: for one die, if A is even and B is greater than 3, then A ∩ B = {4, 6}, A ∪ B = {2, 4, 5, 6} and A’s complement is {1, 3, 5}. The operations identify subsets before probabilities are calculated.
Set language makes compound event statements precise and prevents double-counting overlapping outcomes. This guide explains the notation, complement and addition rules, mutually exclusive events and the distinction between disjointness and independence. Every example uses an explicitly stated sample space so the meaning of not remains clear.
How are events represented as sets?
An event is a subset of the sample space containing all outcomes that satisfy a condition. For a die with S = {1, 2, 3, 4, 5, 6}, the event A of an even result is {2, 4, 6}. A trial makes A occur exactly when its observed outcome belongs to that set.
Two events can share outcomes. Let B be the event of a result greater than 3, so B = {4, 5, 6}. The outcomes 4 and 6 belong to both A and B. This overlap determines how their intersection and union are formed and how probabilities must be combined.
The empty set represents an impossible event, while S represents the certain event. A single-outcome event is a set with one member. Keeping these set descriptions separate from their numerical probabilities helps distinguish the question which outcomes qualify from the question how likely those outcomes are.
What is the complement of an event?
The complement Aᶜ contains every outcome in S that is not in A. For the even-result event, Aᶜ = {1, 3, 5}. An event and its complement never occur together, and between them they cover every possible outcome in the sample space.
Their probabilities therefore add to 1, giving P(Aᶜ) = 1 − P(A). If an event has probability 0.7, its complement has probability 0.3. The complement rule is often easier to use than directly counting a complicated event, especially when the opposite condition has a simple description.
The complement depends on the chosen sample space. Not even means odd for the six integer die faces, but not even has a different scope in another universe of values. Always define the experiment before interpreting a negative statement, because not A includes everything allowed by the model outside A.
What is the intersection of two events?
The intersection A ∩ B contains outcomes belonging to both A and B. It corresponds to and: the result must satisfy both conditions simultaneously. For A = {2, 4, 6} and B = {4, 5, 6}, the intersection is {4, 6}.
For a fair die, P(A ∩ B) = 2/6 = 1/3. This probability cannot generally be obtained by multiplying P(A) and P(B) unless the events are independent. Here both individual probabilities are 1/2, whose product 1/4 differs from the actual intersection probability 1/3.
An intersection is contained in each original event, so its probability cannot exceed either individual probability. This provides a useful check. If a calculation claims the probability of both conditions is larger than the probability of one condition alone, the event interpretation or arithmetic must be wrong.
What is the union of two events?
The union A ∪ B contains outcomes belonging to A, B or both. In probability, or is normally inclusive unless the problem explicitly says exactly one. For the die example, the union is {2, 4, 5, 6}, because every outcome satisfying at least one condition is included once.
The addition rule is P(A ∪ B) = P(A) + P(B) − P(A ∩ B). Adding the individual probabilities counts shared outcomes twice, so subtracting the overlap once corrects that duplication. For the example, 1/2 + 1/2 − 1/3 = 2/3.
The union contains both original events, so its probability is at least as large as either one and at most 1. These bounds help identify impossible results. A sum above 1 often signals that an overlap was not subtracted, though the actual cause should be checked against the event definitions.
| Operation | Meaning | Outcomes | Fair-die probability |
|---|---|---|---|
| Aᶜ | Not A | {1, 3, 5} | 1/2 |
| A ∩ B | A and B | {4, 6} | 1/3 |
| A ∪ B | A or B or both | {2, 4, 5, 6} | 2/3 |
| A only | A and not B | {2} | 1/6 |
| Neither | Not A and not B | {1, 3} | 1/3 |
How are mutually exclusive events different from independent events?
Mutually exclusive, or disjoint, events have no common outcomes: A ∩ B is empty. Their intersection probability is zero, so the union rule simplifies to P(A ∪ B) = P(A) + P(B). A die showing 1 and the same die showing 2 are mutually exclusive events.
Independent events satisfy P(A ∩ B) = P(A)P(B). This means the occurrence of one does not change the probability of the other when conditional probabilities are defined. Heads on the first toss and heads on the second toss are independent under an independent fair-coin model, yet both can occur together.
Two mutually exclusive events with positive probabilities cannot be independent. If one occurs, the other becomes impossible, so its probability changes to zero. The terms describe different relationships: disjointness concerns overlap of outcomes, while independence concerns how probabilities relate.
How do you solve an overlap problem from counts?
Suppose a hypothetical group contains 40 people, with 22 in event A, 18 in event B and 7 in both. The number in A or B is 22 + 18 − 7 = 33. The number in neither is 40 − 33 = 7.
The number in A only is 22 − 7 = 15, and the number in B only is 18 − 7 = 11. These four disjoint regions contain 15, 7, 11 and 7 people, summing to 40. Converting each count to a probability divides by the same total of 40 if one person is selected uniformly.
Exactly one of A and B means A only or B only, giving 15 + 11 = 26 people. It differs from the inclusive union of 33 because the seven people in both are excluded. The corresponding formula is P(exactly one) = P(A) + P(B) − 2P(A ∩ B).
- Identify the total and the overlap count.
- Subtract the overlap from each event to find its exclusive part.
- Add the three inside regions for the union.
- Subtract the union from the total for neither.
- Divide counts by the total only when a probability is requested.
How do complements interact with unions and intersections?
The complement of A ∪ B means neither A nor B, so it equals Aᶜ ∩ Bᶜ. The complement of A ∩ B means not both, so it equals Aᶜ ∪ Bᶜ. These are De Morgan’s laws, which translate a negative compound statement into a clearer combination of events.
For example, not both tests passed includes failing the first, failing the second or failing both. It does not mean both tests failed. Conversely, neither test passed requires both failures. The distinction between not both and neither is a frequent source of logical mistakes in probability wording.
These relationships support efficient complement calculations. The event at least one success is the complement of no successes, so its probability is 1 minus the probability of none. The event at most one failure has a different complement, two or more failures, and must be interpreted according to the experiment’s number of stages.
What mistakes should you avoid with event operations?
The background framework is set algebra: events are collections of outcomes, and logical words describe operations on those collections. Once the relevant set is identified, probability assigns it a numerical weight. Drawing a Venn diagram or listing small sets can clarify the logic before a formula is chosen.
Do not add probabilities without checking overlap, and do not multiply them without checking the appropriate conditional or independence rule. A union calls for counting outcomes in either event once, while an intersection calls for outcomes satisfying both conditions. The operation symbol should follow the wording, not a memorised association with any two numbers.
Finally, make the meaning of or explicit when the context could be ambiguous. Inclusive or allows both events; exactly one excludes the overlap. Check totals, probability bounds and the sample-space definition, especially when using complements, so the resulting event answers the stated question rather than a nearby but different one.