How to use these solu­tions

These are full worked solu­tions to the prac­tice ques­tions in the les­son Oper­a­tions on Sets and Venn Dia­grams. Try each ques­tion first, writ­ing out the sets ele­ment by ele­ment or draw­ing the Venn dia­gram, and then com­pare with the steps below. For proofs, check that every step in your argu­ment has a rea­son.

Ques­tion 1: Union, inter­sec­tion and dif­fer­ences

The prob­lem

A={2,4,6,8,10}A = \{2, 4, 6, 8, 10\}, B={5,10,15}B = \{5, 10, 15\}. Find A∪BA \cup B, A∩BA \cap B, A−BA - B, B−AB - A.

Under­stand­ing the prob­lem

You are given two sets by list­ing their ele­ments and asked for four new sets. Recall:

  • A∪BA \cup B: ele­ments in AA or BB (or both);
  • A∩BA \cap B: ele­ments in both;
  • A−BA - B: ele­ments in AA but not in BB;
  • B−AB - A: ele­ments in BB but not in AA.

The idea

Go through the ele­ments one by one and decide where each belongs. Write each com­mon ele­ment only once.

Step-by-step solu­tion

Step 1. Com­mon ele­ments: only 1010 is in both sets.

A∩B={10}A \cap B = \{10\}

Step 2. Union: all ele­ments of AA, then add the ele­ments of BB not already listed (55 and 1515).

A∪B={2,4,5,6,8,10,15}A \cup B = \{2, 4, 5, 6, 8, 10, 15\}

Step 3. A−BA - B: remove 1010 from AA.

A−B={2,4,6,8}A - B = \{2, 4, 6, 8\}

Step 4. B−AB - A: remove 1010 from BB.

B−A={5,15}B - A = \{5, 15\}

Check­ing the answer

A−BA - B, A∩BA \cap B and B−AB - A are the three sep­a­rate pieces of A∪BA \cup B. Their sizes are 4+1+2=74 + 1 + 2 = 7, and A∪BA \cup B has 77 ele­ments. ✓

Answer

A∪B={2,4,5,6,8,10,15}A \cup B = \{2, 4, 5, 6, 8, 10, 15\}, A∩B={10}A \cap B = \{10\}, A−B={2,4,6,8}A - B = \{2, 4, 6, 8\}, B−A={5,15}B - A = \{5, 15\}.

Ques­tion 2: Com­ple­ments in a uni­ver­sal set

The prob­lem

U={x∈N:x≤10}U = \{x \in \mathbf{N} : x \le 10\}, A={x:x is prime}A = \{x : x \text{ is prime}\}, B={x:x is odd}B = \{x : x \text{ is odd}\}. Find A′A', B′B', (A∪B)′(A \cup B)', A′∩B′A' \cap B'.

Under­stand­ing the prob­lem

U={1,2,…,10}U = \{1, 2, \ldots, 10\}. AA and BB are the primes and the odd num­bers inside UU. The com­ple­ment A′A' means U−AU - A, every­thing in UU that is not in AA.

The idea

First write AA and BB in ros­ter form. Then take com­ple­ments within UU. The last two answers should agree, by De Mor­gan's law.

Step-by-step solu­tion

Step 1. List the sets. Remem­ber 11 is not prime.

U={1,2,…,10},A={2,3,5,7},B={1,3,5,7,9}U = \{1, 2, \ldots, 10\}, \quad A = \{2, 3, 5, 7\}, \quad B = \{1, 3, 5, 7, 9\}

Step 2. Com­ple­ments.

A′={1,4,6,8,9,10},B′={2,4,6,8,10}A' = \{1, 4, 6, 8, 9, 10\}, \qquad B' = \{2, 4, 6, 8, 10\}

Step 3. Union, then its com­ple­ment.

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

Step 4. Inter­sec­tion of the com­ple­ments: ele­ments in both A′A' and B′B'.

A′∩B′={4,6,8,10}A' \cap B' = \{4, 6, 8, 10\}

Check­ing the answer

(A∪B)′=A′∩B′(A \cup B)' = A' \cap B', exactly as De Mor­gan's law says. Also n(A)+n(A′)=4+6=10=n(U)n(A) + n(A') = 4 + 6 = 10 = n(U). ✓

Answer

A′={1,4,6,8,9,10}A' = \{1, 4, 6, 8, 9, 10\}, B′={2,4,6,8,10}B' = \{2, 4, 6, 8, 10\}, (A∪B)′={4,6,8,10}(A \cup B)' = \{4, 6, 8, 10\}, A′∩B′={4,6,8,10}A' \cap B' = \{4, 6, 8, 10\}.

Com­mon mis­take to avoid

Includ­ing 11 in the primes. 11 has only one fac­tor, so it is not prime, and it belongs to A′A'.

Ques­tion 3: Are the sets dis­joint?

The prob­lem

Are {x:x is a multiple of 4}\{x : x \text{ is a multiple of } 4\} and {x:x is odd}\{x : x \text{ is odd}\} dis­joint?

Under­stand­ing the prob­lem

Two sets are dis­joint when they have no ele­ment in com­mon, that is, their inter­sec­tion is ∅\varnothing.

The idea

Ask whether any num­ber can be both a mul­ti­ple of 44 and odd.

Step-by-step solu­tion

Step 1. A mul­ti­ple of 44 has the form 4k=2(2k)4k = 2(2k), so it is a mul­ti­ple of 22, that is, even.

Step 2. An odd num­ber is not a mul­ti­ple of 22.

Step 3. So no num­ber is both. The inter­sec­tion is empty.

{multiples of 4}∩{odd numbers}=∅\{\text{multiples of } 4\} \cap \{\text{odd numbers}\} = \varnothing

Check­ing the answer

Mul­ti­ples of 44: 4,8,12,16,…4, 8, 12, 16, \ldots are all even; none is odd. ✓

Answer

Yes, they are dis­joint: every mul­ti­ple of 44 is even, so the inter­sec­tion is empty.

Ques­tion 4: Shad­ing Venn dia­grams

The prob­lem

Shade in Venn dia­grams: (a) A′∩BA' \cap B; (b) (A∩B)′(A \cap B)'; (c) A−(B∪C)A - (B \cup C).

Under­stand­ing the prob­lem

Draw the uni­ver­sal set UU as a rec­tan­gle and each set as a cir­cle inside it, over­lap­ping. You must shade exactly the region that the expres­sion describes.

The idea

Trans­late each expres­sion into words ("in … and not in …"), then shade region by region. For two sets there are four regions: only AA, both, only BB, out­side both.

Step-by-step solu­tion

Part (a): A′∩BA' \cap B

Step 1. A′A' is every­thing out­side cir­cle AA. Inter­sect­ing with BB keeps only the part of that inside BB.

Step 2. In words: in BB but not in AA. This is the same as B−AB - A.

Step 3. Draw two over­lap­ping cir­cles AA and BB. Shade the cres­cent of BB that lies out­side AA. Leave the over­lap unshaded.

Part (b): (A∩B)′(A \cap B)'

Step 1. A∩BA \cap B is the over­lap (the lens shape) of the two cir­cles.

Step 2. Its com­ple­ment is every­thing in UU except that lens.

Step 3. Shade the whole rec­tan­gle, includ­ing "only AA", "only BB" and the region out­side both cir­cles, but leave the over­lap unshaded.

Part (c): A−(B∪C)A - (B \cup C)

Step 1. Draw three mutu­ally over­lap­ping cir­cles AA, BB, CC.

Step 2. B∪CB \cup C is every­thing inside BB or CC.

Step 3. A−(B∪C)A - (B \cup C) keeps the points of AA that are in nei­ther BB nor CC.

Step 4. Shade only the part of cir­cle AA that does not over­lap BB or CC — the "AA only" region.

Check­ing the answer

For (b), De Mor­gan says (A∩B)′=A′∪B′(A \cap B)' = A' \cup B': every­thing out­side AA together with every­thing out­side BB, which is every­thing except the over­lap. That matches the shad­ing. ✓

Answer

(a) Shade the part of BB out­side AA; (b) shade all of UU except the over­lap of AA and BB; (c) shade only the part of AA that lies out­side both BB and CC.

Ques­tion 5: Ver­i­fy­ing the dis­trib­u­tive law

The prob­lem

Ver­ify A∩(B∪C)=(A∩B)∪(A∩C)A \cap (B \cup C) = (A \cap B) \cup (A \cap C) for A={1,2,3,4}A = \{1, 2, 3, 4\}, B={3,4,5}B = \{3, 4, 5\}, C={1,5,6}C = \{1, 5, 6\}.

Under­stand­ing the prob­lem

"Ver­ify" means work out both sides for these par­tic­u­lar sets and show that they are equal.

The idea

Com­pute the left side (brack­ets first) and the right side sep­a­rately, then com­pare.

Step-by-step solu­tion

Step 1. Left side: first B∪CB \cup C, then inter­sect with AA.

B∪C={1,3,4,5,6}A∩(B∪C)={1,3,4}\begin{aligned} B \cup C &= \{1, 3, 4, 5, 6\} \\ A \cap (B \cup C) &= \{1, 3, 4\} \end{aligned}

Step 2. Right side: the two inter­sec­tions, then their union.

A∩B={3,4}A∩C={1}(A∩B)∪(A∩C)={1,3,4}\begin{aligned} A \cap B &= \{3, 4\} \\ A \cap C &= \{1\} \\ (A \cap B) \cup (A \cap C) &= \{1, 3, 4\} \end{aligned}

Step 3. Both sides equal {1,3,4}\{1, 3, 4\}.

Check­ing the answer

Test 22: it is in AA but not in BB or CC, so it is on nei­ther side. ✓

Answer

Both sides equal {1,3,4}\{1, 3, 4\}, so the law holds for these sets.

Ques­tion 6: Prov­ing A−B=A∩B′A - B = A \cap B'

The prob­lem

Prove: A−B=A∩B′A - B = A \cap B'.

Under­stand­ing the prob­lem

To show two sets are equal you must show they have exactly the same ele­ments. The clean­est way is to show that an ele­ment belongs to one side exactly when it belongs to the other.

The idea

Use the def­i­n­i­tions of dif­fer­ence and com­ple­ment and a chain of "if and only if" (  ⟺  \iff) state­ments, just as the les­son proves De Mor­gan's law.

Step-by-step solu­tion

Step 1. Take any ele­ment xx and start from the left side.

x∈A−B  ⟺  x∈A and x∉B(definition of difference)x \in A - B \iff x \in A \text{ and } x \notin B \qquad \text{(definition of difference)}

Step 2. "x∉Bx \notin B" means xx is in the com­ple­ment of BB.

x∉B  ⟺  x∈B′(definition of complement)x \notin B \iff x \in B' \qquad \text{(definition of complement)}

Step 3. So

x∈A−B  ⟺  x∈A and x∈B′  ⟺  x∈A∩B′(definition of intersection)x \in A - B \iff x \in A \text{ and } x \in B' \iff x \in A \cap B' \qquad \text{(definition of intersection)}

Step 4. Every ele­ment of either side is an ele­ment of the other, so the sets are equal.

Check­ing the answer

Using Ques­tion 1's sets inside U={1,…,15}U = \{1, \ldots, 15\}: A−B={2,4,6,8}A - B = \{2, 4, 6, 8\} and A∩B′A \cap B' keeps the ele­ments of AA that are not 5,10,155, 10, 15, also {2,4,6,8}\{2, 4, 6, 8\}. ✓

Answer

x∈A−B  ⟺  x∈A, x∉B  ⟺  x∈A∩B′x \in A - B \iff x \in A,\ x \notin B \iff x \in A \cap B'; hence A−B=A∩B′A - B = A \cap B'.

Ques­tion 7: When union equals inter­sec­tion

The prob­lem

Show that A∪B=A∩BA \cup B = A \cap B implies A=BA = B.

Under­stand­ing the prob­lem

You are told the union and inter­sec­tion are the same set. You must prove that then AA and BB are equal. To prove two sets equal, show each is a sub­set of the other.

The idea

Use the facts A⊂A∪BA \subset A \cup B and A∩B⊂BA \cap B \subset B (these fol­low straight from the def­i­n­i­tions). Chain them through the given equal­ity.

Step-by-step solu­tion

Step 1. Show A⊂BA \subset B. Take any x∈Ax \in A.

x∈A⇒x∈A∪B(everything in A is in the union)x \in A \Rightarrow x \in A \cup B \qquad \text{(everything in } A \text{ is in the union)}

Step 2. Use the given equal­ity A∪B=A∩BA \cup B = A \cap B.

x∈A∪B=A∩B⇒x∈B(everything in the intersection is in B)x \in A \cup B = A \cap B \Rightarrow x \in B \qquad \text{(everything in the intersection is in } B)

So every ele­ment of AA is in BB: A⊂BA \subset B.

Step 3. Show B⊂AB \subset A the same way. Take x∈Bx \in B; then x∈A∪B=A∩Bx \in A \cup B = A \cap B, so x∈Ax \in A.

Step 4. Since A⊂BA \subset B and B⊂AB \subset A, we get A=BA = B.

Check­ing the answer

Try A={1}A = \{1\}, B={1,2}B = \{1, 2\}: union {1,2}\{1, 2\}, inter­sec­tion {1}\{1\}, not equal — con­sis­tent, because A≠BA \ne B.

Answer

A⊂A∪B=A∩B⊂BA \subset A \cup B = A \cap B \subset B and sim­i­larly B⊂AB \subset A, so A=BA = B.

Ques­tion 8: Count­ing with the union for­mula

The prob­lem

n(A)=25n(A) = 25, n(B)=18n(B) = 18, n(A∪B)=36n(A \cup B) = 36. Find n(A∩B)n(A \cap B), n(A−B)n(A - B).

Under­stand­ing the prob­lem

You know the sizes of AA, BB and the union, and you need the size of the over­lap and of the "AA only" part.

The idea

Rearrange n(A∪B)=n(A)+n(B)−n(A∩B)n(A \cup B) = n(A) + n(B) - n(A \cap B) to find the over­lap. Then AA splits into A−BA - B and A∩BA \cap B, so n(A−B)=n(A)−n(A∩B)n(A - B) = n(A) - n(A \cap B).

Step-by-step solu­tion

Step 1. Sub­sti­tute into the for­mula.

36=25+18−n(A∩B)36 = 25 + 18 - n(A \cap B)

Step 2. Solve.

n(A∩B)=43−36=7n(A \cap B) = 43 - 36 = 7

Step 3. AA only.

n(A−B)=25−7=18n(A - B) = 25 - 7 = 18

Check­ing the answer

n(B−A)=18−7=11n(B - A) = 18 - 7 = 11. The three pieces give 18+7+11=36=n(A∪B)18 + 7 + 11 = 36 = n(A \cup B). ✓

Answer

n(A∩B)=7n(A \cap B) = 7 and n(A−B)=18n(A - B) = 18.

Ques­tion 9: Tea and cof­fee

The prob­lem

Of 6060 stu­dents, 3838 like tea, 3030 like cof­fee, 66 like nei­ther. How many like both?

Under­stand­ing the prob­lem

Let TT = likes tea, CC = likes cof­fee. 66 are out­side both cir­cles, so the rest like at least one drink.

The idea

Find n(T∪C)n(T \cup C) from the "nei­ther" fig­ure, then use the union for­mula to find n(T∩C)n(T \cap C).

Step-by-step solu­tion

Step 1. At least one drink.

n(T∪C)=60−6=54n(T \cup C) = 60 - 6 = 54

Step 2. Union for­mula.

54=38+30−n(T∩C)54 = 38 + 30 - n(T \cap C)

Step 3. Solve.

n(T∩C)=68−54=14n(T \cap C) = 68 - 54 = 14

Check­ing the answer

Tea only 38−14=2438 - 14 = 24, cof­fee only 30−14=1630 - 14 = 16, both 1414, nei­ther 66: 24+16+14+6=6024 + 16 + 14 + 6 = 60. ✓

Answer

1414 stu­dents like both tea and cof­fee.

Ques­tion 10: Three vehi­cles

The prob­lem

In a sur­vey of 400400 fam­i­lies: 210210 own a scooter, 180180 a car, 120120 a cycle; 8080 own scooter and car, 5050 car and cycle, 6060 scooter and cycle, 3030 all three. How many own none?

Under­stand­ing the prob­lem

Let SS, CC, YY be the fam­i­lies own­ing a scooter, a car and a cycle. The pair fig­ures include the 3030 fam­i­lies who own all three. "None" means out­side all three cir­cles.

The idea

Use the three-set for­mula from the les­son to find how many own at least one, then sub­tract from 400400.

Step-by-step solu­tion

Step 1. Write the for­mula.

n(S∪C∪Y)=n(S)+n(C)+n(Y)−n(S∩C)−n(C∩Y)−n(S∩Y)+n(S∩C∩Y)n(S \cup C \cup Y) = n(S) + n(C) + n(Y) - n(S \cap C) - n(C \cap Y) - n(S \cap Y) + n(S \cap C \cap Y)

Step 2. Sub­sti­tute.

n(S∪C∪Y)=210+180+120−80−50−60+30=510−190+30=350\begin{aligned} n(S \cup C \cup Y) &= 210 + 180 + 120 - 80 - 50 - 60 + 30 \\ &= 510 - 190 + 30 = 350 \end{aligned}

Step 3. None.

400−350=50400 - 350 = 50

Check­ing the answer

Fill the Venn dia­gram from the cen­tre out: all three 3030; scooter and car only 5050; car and cycle only 2020; scooter and cycle only 3030; scooter only 210−50−30−30=100210 - 50 - 30 - 30 = 100; car only 180−50−20−30=80180 - 50 - 20 - 30 = 80; cycle only 120−20−30−30=40120 - 20 - 30 - 30 = 40. Sum =30+50+20+30+100+80+40=350= 30 + 50 + 20 + 30 + 100 + 80 + 40 = 350. ✓

Answer

5050 fam­i­lies own none of the three.

Com­mon mis­take to avoid

For­get­ting to add back n(S∩C∩Y)n(S \cap C \cap Y). The fam­i­lies own­ing all three are sub­tracted three times in the pair terms, so they must be added once again.