Complement
By Jude Wallis · Published
The complement of an event is the event that it does not happen, made up of every outcome in the sample space that the original event leaves out.
The complement of an event is written (read "A complement"), and it holds exactly the outcomes of the sample space that does not. Two conditions define it together, and both matter: no outcome belongs to both sets, and no outcome is left out of the pair. Complementing twice returns you to where you started, since , and the same pair of conditions is what forces , stated as the complement rule.
Roll a fair die and let be "at most 2", the set , so . Then is with , and the two add to exactly 1.
"A and B cannot both happen, so B is the complement of A." Try on that same die. It is mutually exclusive with , since no outcome sits in both, yet rather than 1, because 5 and 6 belong to neither. Complementary events are always mutually exclusive; mutually exclusive events are complementary only when they also leave nothing out.
Complementing a compound event flips the connector, and getting that backwards is the expensive error. Take , the odd rolls. Then , so the complement of "A and C" is at . That set is , the union of the two complements, not , which is at . The rule runs the other way too: the complement of a union is the intersection of the complements, which is exactly why the complement of "at least one" is "none".
A complement is always taken relative to a stated sample space. Change what counts as possible and the same event acquires a different complement, so has to be settled before the word means anything.
Where this comes up
- How to find P(at least one) with the complement ruleGuide
- Probability rules practice problemsPractice
- AP Stats 2.4: Introduction to ProbabilityAP topic
- How to use a Venn diagram in probabilityGuide
- Binomial probability practice problemsPractice
- binompdf vs binomcdf: which one do I use?Guide
- How to find binomial probability (formula, examples)Guide
More probability terms, or browse the full statistics glossary.