What Does A Union B Complement Mean?
A Union B Complement points to two set expressions that look almost identical yet describe different things: $(A \cup B)'$ and $A \cup B'$. The difference is the placement of the small mark called the prime symbol, written $'$, which stands for "complement." Where the prime sits decides what gets flipped.
In $(A \cup B)'$, the prime is outside the bracket, so you first form the union of two sets and then take the complement of the whole thing. In $A \cup B'$, the prime sits only on $B$, so you flip $B$ first and then union it with $A$. Same letters, same symbols, two different answers.
Both ideas rest on three building blocks: the union $A \cup B$ (elements in either set), the complement of a set (everything outside it), and the universal set $U$ that a complement is measured against. The notation used here, the prime for complement and the law $(A \cup B)' = A' \cap B'$, is the standard set taught in India's NCERT Class 11 and the UK's GCSE syllabus. Get those three straight and the rest of this article is bookkeeping.
Why Does Every Complement Need A Universal Set?
A complement is meaningless without a universal set. The complement $A'$ means "everything not in $A$," and "everything" has to be a defined collection, or the answer could be anything at all.
The universal set $U$ is the full pool of elements under discussion. Once $U$ is fixed, the complement of any set $A$ is whatever is left after removing $A$:
$$A' = U - A = {, x \in U : x \notin A ,}$$
Throughout this article we use one running universal set and two running sets:
$$U = {1,2,3,4,5,6,7,8,9,10}, \quad A = {1,2,3,4,5,6}, \quad B = {4,5,6,7,8}$$
From these, the two complements are $A' = {7,8,9,10}$ and $B' = {1,2,3,9,10}$. Change $U$ and both complements change, which is exactly why the universal set must be stated before any complement is computed.
What Is (A ∪ B)′, The Complement Of The Union?
$(A \cup B)'$ is everything in the universal set that is in neither $A$ nor $B$. Read it aloud as "the complement of A union B."
Work it in two steps, union first, then complement:
$$A \cup B = {1,2,3,4,5,6,7,8}$$
$$(A \cup B)' = U - {1,2,3,4,5,6,7,8} = {9,10}$$
So $(A \cup B)'$ collects every element that belongs to no listed set at all. An element survives only if it dodges both $A$ and $B$; the moment it joins either one, it is thrown out.
Notice the size. The union already gathered 8 of the 10 elements, so its complement has only $10 - 8 = 2$ elements. The complement of a large union is usually small, and a union tends to be large because it collects from both sets at once. You can build the base union first on the A union B formula page if you want the plain $A \cup B$ step on its own.
What Is A ∪ B′, The Union With B Complement?
$A \cup B'$ keeps every element that is in $A$ or not in $B$. Read it aloud as "A union B complement."
Flip $B$ first, then union with $A$:
$$B' = U - B = {1,2,3,9,10}$$
$$A \cup B' = {1,2,3,4,5,6} \cup {1,2,3,9,10} = {1,2,3,4,5,6,9,10}$$
This set is large. It holds all of $A$, plus everything the universe has that is outside $B$. The only elements it turns away are those that are in $B$ but not in $A$, namely ${7,8}$, which is the difference of sets $B - A$.
That gives a clean identity worth stating on its own line:
$$A \cup B' = U - (B - A) = (B - A)'$$
The reason is short. An element is missing from $A \cup B'$ only when it fails both tests: not in $A$, and not outside $B$ (so it is in $B$). "In $B$ and not in $A$" is exactly $B - A$, the set difference, so everything else in $U$ stays in.
How Do (A ∪ B)′ And A ∪ B′ Differ?
Side by side, the two expressions from our sample sets could hardly be less alike: one has 2 elements, the other has 8, and the small one sits entirely inside the large one.
Table: How (A ∪ B)′ and A ∪ B′ differ in meaning and in the sample sets.
Feature | $(A \cup B)'$ | $A \cup B'$ |
|---|---|---|
Reads as | Complement of A union B | A union B complement |
In words | In $U$, but in neither $A$ nor $B$ | In $A$, or not in $B$ |
What gets flipped | The whole union | Only $B$ |
Equivalent to | $A' \cap B'$ (De Morgan) | $U - (B - A)$ |
Result in our example | ${9,10}$ | ${1,2,3,4,5,6,9,10}$ |
Size in our example | 2 elements | 8 elements |
A Venn diagram makes the contrast obvious. Shade the two circles for $A$ and $B$ inside a box for $U$, and each expression lights up a different region.
If the prime is outside the bracket, shade only the corners outside both circles. If the prime rides only on $B$, shade the whole picture except the slice of $B$ that pokes past $A$. One glance at the shading settles which expression you are looking at.
What Is De Morgan's Law For (A ∪ B)′?
De Morgan's laws give a shortcut for the complement of a union or an intersection. The one that matters here is for the union:
$$(A \cup B)' = A' \cap B'$$
In words, the complement of the union equals the intersection of the complements. The union flips to an intersection when the complement moves inside, and that flip is the whole point of the law.
Check it against our sets. We already found $(A \cup B)' = {9,10}$. Now build $A' \cap B'$ from the two complements:
Table: Verifying (A ∪ B)′ = A′ ∩ B′ with the sample sets.
Expression | Result |
|---|---|
$A \cup B$ | ${1,2,3,4,5,6,7,8}$ |
$(A \cup B)'$ | ${9,10}$ |
$A'$ | ${7,8,9,10}$ |
$B'$ | ${1,2,3,9,10}$ |
$A' \cap B'$ | ${9,10}$ |
The two rows that matter agree exactly, so $(A \cup B)' = A' \cap B'$ holds. The partner law, worth memorising alongside it, is $(A \cap B)' = A' \cup B'$: the complement of an intersection is the union of the complements. Union and intersection swap places whenever the complement crosses the bracket.
Why Does Moving The Complement Change The Answer?
The prime is not a decoration you can slide around. Its position changes the order of operations on the sets, and order changes the result. Think of it as the set-theory version of $(2 + 3)^2$ against $2 + 3^2$: the same numbers, a different grouping, a different answer.
Two reasons capture why the two expressions diverge:
They flip different things. $(A \cup B)'$ flips the whole union, so it reports "in neither set." $A \cup B'$ flips only $B$, so it reports "in $A$, or outside $B$." One statement is about the empty ground beyond both sets, the other is about almost everything.
They live in different sizes. $(A \cup B)'$ is the complement of a union, and unions are large, so its complement is usually small. $A \cup B'$ is itself a union built on $B'$, which is usually large, so $A \cup B'$ is usually large too. A tiny answer and a sprawling answer cannot be the same set.
There is one tidy case where the two coincide. When $A$ is the empty set, the union $A \cup B$ is just $B$, so $(A \cup B)'$ becomes $B'$, while $A \cup B'$ also collapses to $B'$. Outside that corner case they part ways, which is exactly why treating the two as interchangeable is a reliable way to lose marks.
Who Invented Set Theory And De Morgan's Laws?
The symbols on this page are younger than they look. Sets became a formal branch of mathematics only in the late nineteenth century, and the union law at the centre of this article carries the name of a man born half a world away from where he worked.
Two other names shaped the tools on this page:
John Venn (1834–1923, England) introduced the overlapping-circle diagram in 1880, the picture that still makes $(A \cup B)'$ and $A \cup B'$ readable at a glance.
Georg Cantor (1845–1918, born in Russia, worked in Germany) founded set theory in the 1870s and 1880s, giving mathematics the language of sets, elements, and membership that complements are built on.
Where Is A Union B Complement Used In The Real World?
The same two patterns, "in neither" and "in one or outside the other," run under a surprising amount of everyday technology.
Database queries: a filter written as
NOT (region = 'X' OR status = 'active')is exactly $(A \cup B)'$, whileregion = 'X' OR NOT status = 'active'is $A \cup B'$. Reporting tools live and die on this distinction.Search and streaming filters: "titles in neither of my two watchlists" is $(A \cup B)'$, the outside-both region from the hook picture, applied to a catalogue of thousands.
Digital logic: a NOR gate outputs the complement of an OR, which is $(A \cup B)'$ in circuit form, and De Morgan's law is what lets engineers rebuild any circuit from NOR gates alone.
Probability: the chance that neither event happens is $P((A \cup B)') = 1 - P(A \cup B)$, the complement rule that turns a messy "or" into one subtraction.
Surveys and medicine: "people who use neither product $A$ nor product $B$" is $(A \cup B)'$, the standard way to size a group of non-adopters.
One small piece of notation, sitting quietly in a set theory chapter, is the same idea a database engine, a logic chip, and a statistician each reach for. Mathematics is the shared language underneath fields that look unrelated.
What Are The Most Common A Union B Complement Mistakes?
Three errors account for most lost marks here, verified against GeeksforGeeks and Cuemath De Morgan pages, the BrightChamps common-mistakes list, and the "people also ask" results for this topic.
Turning $(A \cup B)'$ into $A' \cup B'$
Where it slips in:
A student pushes the complement inside the bracket but keeps the union sign, writing $(A \cup B)' = A' \cup B'$ as if the prime just lands on each letter.
Don't do this:
Do not keep the union when the complement moves in. $A' \cup B'$ is a different, usually much larger set than the true answer.
The correct way:
Apply De Morgan's law and switch the operation: $(A \cup B)' = A' \cap B'$. Union becomes intersection whenever the complement crosses the bracket.
Mixing up $A \cup B'$ and $(A \cup B)'$
Where it slips in:
A student reads the prime's position too quickly and complements the whole union when the question only flipped $B$, or the reverse.
Don't do this:
Do not treat the two as the same expression. In our sets one has 2 elements and the other has 8.
The correct way:
Read where the prime sits before computing. Prime outside the bracket means complement the whole union; prime on $B$ alone means union $A$ with $B'$, which leaves out only $B - A$.
Taking a complement without a universal set
Where it slips in:
A student writes $B' = {9, 10}$ from memory, or leaves the universe undefined, so the complement is guessed rather than computed.
Don't do this:
Do not compute any complement until $U$ is written down. A complement measured against the wrong universe is simply wrong.
The correct way:
State $U$ first, then subtract: $B' = U - B$. For our sets that gives $B' = {1,2,3,9,10}$, not a shorter list pulled from habit.
Practice Problems On A Union B Complement
Use $U = {1,2,3,4,5,6,7,8,9,10}$, $P = {2,4,6,8,10}$, and $Q = {1,2,3,4,5}$ unless a problem says otherwise. Answers follow each line.
Find $P \cup Q$.
(Answer: ${1,2,3,4,5,6,8,10}$.)Find $(P \cup Q)'$.
(Answer: $U - {1,2,3,4,5,6,8,10} = {7,9}$.)Find $P'$.
(Answer: ${1,3,5,7,9}$.)Find $P \cup Q'$.
(Answer: $Q' = {6,7,8,9,10}$, so $P \cup Q' = {2,4,6,7,8,9,10}$.)Verify De Morgan's law by computing $P' \cap Q'$ and comparing it with your answer to problem 2.
(Answer: $P' = {1,3,5,7,9}$, $Q' = {6,7,8,9,10}$, so $P' \cap Q' = {7,9}$, which matches $(P \cup Q)'$.)Is $P \cup Q'$ the same as $(P \cup Q)'$?
(Answer: No. $P \cup Q' = {2,4,6,7,8,9,10}$ has 7 elements, while $(P \cup Q)' = {7,9}$ has 2.)
Where Should You Go Next After A Union B Complement?
Set complements open straight into the rest of set theory, and a few natural doors lead onward from here.
Operations On Sets. The full toolkit of union, intersection, complement, and difference in one place, with how they combine.
Complement Of A Set. A deeper look at the single operation this whole article turns on, including its properties.
Union Of Sets. More on the $A \cup B$ step that both readings are built from, with larger and rectangular cases.
If your child is building these foundations, a live Bhanzu trainer teaches set complements starting from the picture (the Venn regions the symbols describe) in the Bhanzu algebra program.
Was this article helpful?
Your feedback helps us write better content