A Union B Complement: Formula, Venn & Examples

#Algebra
TL;DR
A Union B Complement is one phrase for two different set expressions: (A∪B)′(A \cup B)', the complement of the union, and A∪B′A \cup B', the union of AA with the complement of BB. The first is everything in the universal set that lies in neither AA nor BB, and by De Morgan's law it equals A′∩B′A' \cap B'. The second keeps everything that is in AA or outside BB, so it leaves out only the part of BB that sits outside AA.
BT
Bhanzu TeamLast updated on September 4, 202611 min read

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∪B)′(A \cup B)' and A∪B′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∪B)′(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∪B′A \cup B', the prime sits only on BB, so you flip BB first and then union it with AA. Same letters, same symbols, two different answers.

Both ideas rest on three building blocks: the union A∪BA \cup B (elements in either set), the complement of a set (everything outside it), and the universal set UU that a complement is measured against. The notation used here, the prime for complement and the law (A∪B)′=A′∩B′(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′A' means "everything not in AA," and "everything" has to be a defined collection, or the answer could be anything at all.

The universal set UU is the full pool of elements under discussion. Once UU is fixed, the complement of any set AA is whatever is left after removing AA:

A′=U−A=,x∈U:x∉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,A=1,2,3,4,5,6,B=4,5,6,7,8U = {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,10A' = {7,8,9,10} and B′=1,2,3,9,10B' = {1,2,3,9,10}. Change UU 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∪B)′(A \cup B)' is everything in the universal set that is in neither AA nor BB. Read it aloud as "the complement of A union B."

Work it in two steps, union first, then complement:

A∪B=1,2,3,4,5,6,7,8A \cup B = {1,2,3,4,5,6,7,8}

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

So (A∪B)′(A \cup B)' collects every element that belongs to no listed set at all. An element survives only if it dodges both AA and BB; 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=210 - 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∪BA \cup B step on its own.

What Is A ∪ B′, The Union With B Complement?

A∪B′A \cup B' keeps every element that is in AA or not in BB. Read it aloud as "A union B complement."

Flip BB first, then union with AA:

B′=U−B=1,2,3,9,10B' = U - B = {1,2,3,9,10}

A∪B′=1,2,3,4,5,6∪1,2,3,9,10=1,2,3,4,5,6,9,10A \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 AA, plus everything the universe has that is outside BB. The only elements it turns away are those that are in BB but not in AA, namely 7,8{7,8}, which is the difference of sets B−AB - A.

That gives a clean identity worth stating on its own line:

A∪B′=U−(B−A)=(B−A)′A \cup B' = U - (B - A) = (B - A)'

The reason is short. An element is missing from A∪B′A \cup B' only when it fails both tests: not in AA, and not outside BB (so it is in BB). "In BB and not in AA" is exactly B−AB - A, the set difference, so everything else in UU 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∪B)′(A \cup B)'

A∪B′A \cup B'

Reads as

Complement of A union B

A union B complement

In words

In UU, but in neither AA nor BB

In AA, or not in BB

What gets flipped

The whole union

Only BB

Equivalent to

A′∩B′A' \cap B' (De Morgan)

U−(B−A)U - (B - A)

Result in our example

9,10{9,10}

1,2,3,4,5,6,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 AA and BB inside a box for UU, 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 BB, shade the whole picture except the slice of BB that pokes past AA. 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∪B)′=A′∩B′(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∪B)′=9,10(A \cup B)' = {9,10}. Now build A′∩B′A' \cap B' from the two complements:

Table: Verifying (A ∪ B)′ = A′ ∩ B′ with the sample sets.

Expression

Result

A∪BA \cup B

1,2,3,4,5,6,7,8{1,2,3,4,5,6,7,8}

(A∪B)′(A \cup B)'

9,10{9,10}

A′A'

7,8,9,10{7,8,9,10}

B′B'

1,2,3,9,10{1,2,3,9,10}

A′∩B′A' \cap B'

9,10{9,10}

The two rows that matter agree exactly, so (A∪B)′=A′∩B′(A \cup B)' = A' \cap B' holds. The partner law, worth memorising alongside it, is (A∩B)′=A′∪B′(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(2 + 3)^2 against 2+322 + 3^2: the same numbers, a different grouping, a different answer.

Two reasons capture why the two expressions diverge:

  • They flip different things. (A∪B)′(A \cup B)' flips the whole union, so it reports "in neither set." A∪B′A \cup B' flips only BB, so it reports "in AA, or outside BB." One statement is about the empty ground beyond both sets, the other is about almost everything.

  • They live in different sizes. (A∪B)′(A \cup B)' is the complement of a union, and unions are large, so its complement is usually small. A∪B′A \cup B' is itself a union built on B′B', which is usually large, so A∪B′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 AA is the empty set, the union A∪BA \cup B is just BB, so (A∪B)′(A \cup B)' becomes B′B', while A∪B′A \cup B' also collapses to B′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∪B)′(A \cup B)' and A∪B′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∪B)′(A \cup B)', while region = 'X' OR NOT status = 'active' is A∪B′A \cup B'. Reporting tools live and die on this distinction.

  • Search and streaming filters: "titles in neither of my two watchlists" is (A∪B)′(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∪B)′(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∪B)′)=1−P(A∪B)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 AA nor product BB" is (A∪B)′(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∪B)′(A \cup B)' into A′∪B′A' \cup B'

Where it slips in:

A student pushes the complement inside the bracket but keeps the union sign, writing (A∪B)′=A′∪B′(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′∪B′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∪B)′=A′∩B′(A \cup B)' = A' \cap B'. Union becomes intersection whenever the complement crosses the bracket.

Mixing up A∪B′A \cup B' and (A∪B)′(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 BB, 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 BB alone means union AA with B′B', which leaves out only B−AB - A.

Taking a complement without a universal set

Where it slips in:

A student writes B′=9,10B' = {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 UU is written down. A complement measured against the wrong universe is simply wrong.

The correct way:

State UU first, then subtract: B′=U−BB' = U - B. For our sets that gives B′=1,2,3,9,10B' = {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,10U = {1,2,3,4,5,6,7,8,9,10}, P=2,4,6,8,10P = {2,4,6,8,10}, and Q=1,2,3,4,5Q = {1,2,3,4,5} unless a problem says otherwise. Answers follow each line.

  1. Find P∪QP \cup Q.
    (Answer: 1,2,3,4,5,6,8,10{1,2,3,4,5,6,8,10}.)

  2. Find (P∪Q)′(P \cup Q)'.
    (Answer: U−1,2,3,4,5,6,8,10=7,9U - {1,2,3,4,5,6,8,10} = {7,9}.)

  3. Find P′P'.
    (Answer: 1,3,5,7,9{1,3,5,7,9}.)

  4. Find P∪Q′P \cup Q'.
    (Answer: Q′=6,7,8,9,10Q' = {6,7,8,9,10}, so P∪Q′=2,4,6,7,8,9,10P \cup Q' = {2,4,6,7,8,9,10}.)

  5. Verify De Morgan's law by computing P′∩Q′P' \cap Q' and comparing it with your answer to problem 2.
    (Answer: P′=1,3,5,7,9P' = {1,3,5,7,9}, Q′=6,7,8,9,10Q' = {6,7,8,9,10}, so P′∩Q′=7,9P' \cap Q' = {7,9}, which matches (P∪Q)′(P \cup Q)'.)

  6. Is P∪Q′P \cup Q' the same as (P∪Q)′(P \cup Q)'?
    (Answer: No. P∪Q′=2,4,6,7,8,9,10P \cup Q' = {2,4,6,7,8,9,10} has 7 elements, while (P∪Q)′=7,9(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.

  1. Operations On Sets. The full toolkit of union, intersection, complement, and difference in one place, with how they combine.

  2. Complement Of A Set. A deeper look at the single operation this whole article turns on, including its properties.

  3. Union Of Sets. More on the A∪BA \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

Frequently Asked Questions

What Is The Difference Between (A ∪ B)′ And A ∪ B′ In A Union B Complement?
(A∪B)′(A \cup B)' is the complement of the union: everything in the universal set that is in neither AA nor BB, equal to A′∩B′A' \cap B'. A∪B′A \cup B' is the union of AA with B′B': everything that is in AA or outside BB, which leaves out only B−AB - A. The prime's position is the whole difference.
What Is The Formula For A Union B Complement?
(A∪B)′=A′∩B′(A \cup B)' = A' \cap B', one of De Morgan's two laws. The union switches to an intersection when the complement crosses the bracket.
Is (A ∪ B)′ The Same As A′ ∪ B′?
No. That is the single most common error on this topic. The complement of a union is the intersection of the complements, A′∩B′A' \cap B', not the union of the complements. Keeping the union sign after moving the complement inside gives the wrong, and usually much larger, set.
Why Do I Need A Universal Set To Find A Union B Complement?
Because a complement means "everything not in the set," and "everything" has to be a defined pool. Without a universal set UU, an expression like B′B' has no fixed answer. Once UU is stated, B′=U−BB' = U - B is exact, and both readings of the phrase become computable.
Does De Morgan's Law Work For Three Sets?
Yes, it extends directly. The complement of a three-way union is (A∪B∪C)′=A′∩B′∩C′(A \cup B \cup C)' = A' \cap B' \cap C', and the pattern continues for any number of sets: complement each set and swap every union for an intersection.
How Do You Read (A ∪ B)′ Out Loud?
Say "the complement of A union B," or "A union B, all complement." The word "all" is a useful cue that the prime covers the whole bracket rather than a single set.
✍️ Written By
BT
Bhanzu Team
Content Creator and Editor
Bhanzu’s editorial team, known as Team Bhanzu, is made up of experienced educators, curriculum experts, content strategists, and fact-checkers dedicated to making math simple and engaging for learners worldwide. Every article and resource is carefully researched, thoughtfully structured, and rigorously reviewed to ensure accuracy, clarity, and real-world relevance. We understand that building strong math foundations can raise questions for students and parents alike. That’s why Team Bhanzu focuses on delivering practical insights, concept-driven explanations, and trustworthy guidance-empowering learners to develop confidence, speed, and a lifelong love for mathematics.
Related Articles
Book a FREE Demo ClassBook Now →