Complement of an Event
The complement of an event is the set of all outcomes in the sample space that are NOT in the event.
Formula
P(\text{not } A) = 1 - P(A)
Definition
The complement of an event is everything that is NOT that event: if an event is "rolling a 5," its complement is "rolling anything but 5" (1, 2, 3, 4, or 6). Written $A'$ or $A^c$, it consists of all outcomes in the sample space that are not in $A$, following the complement rule $P(A') = 1 - P(A)$; together, $A$ and $A'$ are mutually exclusive and exhaustive, covering all possible outcomes with no overlap. Formally, $A^c = \Omega \setminus A$ satisfies $A \cup A^c = \Omega$ and $A \cap A^c = \emptyset$; by countable additivity, $P(A) + P(A^c) = P(\Omega) = 1$, and De Morgan's laws connect complements to unions and intersections: $(A \cup B)^c = A^c \cap B^c$ and $(A \cap B)^c = A^c \cup B^c$.
Example
If $P(\text{rain tomorrow}) = 0.3$, the complement is $P(\text{no rain}) = 1 - 0.3 = 0.7$, and these two events together cover everything that could happen. Drawing at least one ace in $5$ cards is complex to calculate directly, but via the complement, $P(\text{at least one ace}) = 1 - P(\text{no aces})$; since $P(\text{no aces in } 5 \text{ cards}) = \binom{48}{5}/\binom{52}{5} \approx 0.659$, $P(\text{at least one ace}) = 1 - 0.659 = 0.341$. Bonferroni's inequality, $P(\text{at least one } A_i) \le \sum P(A_i)$, and the union bound $P(\bigcup A_i) = 1 - P(\bigcap A_i^c)$ are useful for bounding probabilities of rare events in high-dimensional probability.
Key Insight
The complement rule is a useful shortcut: instead of finding the probability of a complex event directly, find the probability of its complement and subtract from 1; "at least one" problems are almost always easiest via the complement, $P(\text{at least one}) = 1 - P(\text{none})$. De Morgan's laws are fundamental in computing probabilities of complex events, allowing conversion between union and intersection problems and enabling use of inclusion-exclusion or independence more easily.