Spot the Universal Set U — Everything Happens Inside It, and A' = U − A

A question opens with "Let the universal set be U = \{1, 2, \dots, 10\}, and let A = \{2, 4, 6, 8\}. Find A'." A student who has not internalised the role of U freezes. Complement of what exactly? Complement inside what range? They try computing "everything that is not A" and end up with something absurd like all real numbers except those four.

The fix is one sentence of recognition. When a question names a universal set U, every subsequent set operation is bounded by U. That includes complement, which is defined as A' = U - A. Without that bound, complement is not even defined — the "outside" of a set must be the outside within some universe. Once you see the cue, the arithmetic is mechanical.

The recognition cue

Any of these phrasings means "a universe U is being fixed for the rest of the problem":

"Let U = \{\dots\} be the universal set."
"In a universe U = \dots"
"All sets below are subsets of U = \dots"
Sometimes a question silently assumes U from context — "Let A be the set of even natural numbers from 1 to 20" silently picks U = \{1, 2, \dots, 20\}, and you should write that out yourself before starting.

When you see the cue, write U at the top of your scratch page and keep it visible. Every operation you do — complement, difference, intersection with U — is happening inside that box.

The two formulas the cue triggers

Complement. A' = U - A = \{x \in U \mid x \notin A\}.

The complement is the set of everything in the universe that is not in A. Not "everything that is not in A" — the universe matters. In U = \{1, 2, \dots, 10\} with A = \{2, 4, 6, 8\}, we get A' = \{1, 3, 5, 7, 9, 10\}, not "every real number except 2, 4, 6, 8."

Set-size equation. |A| + |A'| = |U|.

Because A and A' together partition the universe — every element of U is in exactly one of them — their cardinalities add up to |U|. This is one of the most useful shortcuts in counting problems: if you know |A| and |U|, you know |A'| without listing any elements.

The universal set $U$ drawn as a rectangle, $A$ as a circle inside it, and $A'$ as the region inside the rectangle but outside the circle. The complement is whatever is in the universe but not in $A$ — nothing outside the rectangle can be in $A'$, because $A'$ is a subset of $U$ by definition.

Walked examples

Example A. U = \{1, 2, 3, \dots, 10\}, A = \{2, 4, 6, 8\}. Find A'.

A' = U - A = \{1, 3, 5, 7, 9, 10\}. Six elements. Verify: |A| + |A'| = 4 + 6 = 10 = |U|.

Example B. U = \{\text{letters of the English alphabet}\}, A = \{\text{vowels}\} = \{a, e, i, o, u\}. Find A'.

A' is the set of consonants — all 21 of them. Verify: 5 + 21 = 26.

Example C. U = \mathbb{Z}, A = \{x \in \mathbb{Z} \mid x \text{ is even}\}. Find A'.

A' is the set of odd integers. No numeric verification is possible because both A and A' are infinite, but the partition is still clean: every integer is either even or odd, never both.

Example D. U = \{1, 2, 3, 4, 5, 6, 7, 8, 9, 10\}, A = \{1, 2, 3\}, B = \{3, 4, 5\}. Find (A \cup B)'.

Step 1. A \cup B = \{1, 2, 3, 4, 5\}.

Step 2. (A \cup B)' = U - \{1, 2, 3, 4, 5\} = \{6, 7, 8, 9, 10\}.

Why the universe matters: if you forgot to fix U, you might compute "everything that is not in A \cup B" as the rest of the integers, or the rest of the reals, or everything in the world except those five numbers. The complement only makes sense relative to a fixed universe, and the universe here is explicit: \{1, 2, \dots, 10\}. Everything outside that set does not exist for this problem.

De Morgan's laws — the universe is invisible glue

De Morgan's laws say (A \cup B)' = A' \cap B' and (A \cap B)' = A' \cup B'. Both laws only make sense because all the complement symbols are relative to the same universe U. If you tried to "complement" without a universe, the laws would be gibberish — what does "complement of the union" even mean without a containing set?

When you apply De Morgan's laws in an exam, first confirm the universal set. If you cannot point to it on the page, the complements are undefined and you need to re-read the question.

The misconception: treating U as optional

Two common slips:

"A' is everything that is not A." Too broad. Complement is everything in U that is not in A. Ignoring U turns a clean finite answer into an infinite "the rest of everything" — wrong in every exam.
"A' is the same for all universes." No. The complement of \{2, 4\} inside U = \{1, 2, 3, 4, 5\} is \{1, 3, 5\}; inside U = \{1, 2, 3, \dots, 10\} it is \{1, 3, 5, 6, 7, 8, 9, 10\}. Same A, different U, different A'. The universe is part of the input, not scenery.

The exam reflex

Whenever a set-operation question mentions U or talks about complements, write down what U is before doing any arithmetic. Three-second habit, saves a whole mark every time it applies. In multi-step problems where U is established at the start, keep U visible at the top of your page as you work through the subsequent parts — you will reach for it repeatedly, and recomputing it mid-problem is where errors creep in.

In a class of $60$ students ($U$), $25$ play cricket ($A$), $20$ play football ($B$), and $10$ play both. How many students play neither?

The universal set is U, the 60 students. "Plays neither" means "is in neither A nor B" — the complement of A \cup B inside U.

Step 1. |A \cup B| = |A| + |B| - |A \cap B| = 25 + 20 - 10 = 35.

Step 2. |(A \cup B)'| = |U| - |A \cup B| = 60 - 35 = 25.

Result. 25 students play neither cricket nor football.

Why the universe-triggered formula works: the 60 students were partitioned into two groups — those who play at least one sport (A \cup B) and those who play neither ((A \cup B)'). The cardinalities add to |U|, so one subtraction finishes the job. Without the universe, "neither" would be ill-defined — neither out of what?

Sets — Introduction · Set Operations · Venn Diagrams from Scratch · Cardinality Meter