IN REVIEW

In review — free for everyone. While a book is in review you are one of its reviewers: read it, use it, and tell us what is wrong. When the reports settle, the Class 11 pass is ₹999 for the year and this book’s PDF is ₹299.

What a set is, and when two sets are the same

FRAME

Here are two descriptions. The first is the set $\{2, 4, 6\}$. The second is “the set of even numbers between 1 and 7”. They look nothing alike. Are they two sets, or one?

Work the second one out. The even numbers above 1 and below 7 are 2, 4 and 6. Nothing else qualifies. So the second description holds 2, 4 and 6 — exactly what the first one lists. One set, written down two ways.

That is the rule this chapter rests on. A set is a well-defined collection of distinct objects, and two sets are equal exactly when they hold the same elements. The wording used to name a set does not enter into it. Membership decides identity, and nothing else does.

The words “well-defined” are doing real work too. “The set of tall students” is not a set, because nobody can say for certain who belongs. “The set of students above 170 cm” is a set, because every student either qualifies or does not.

Ask what belongs, never how it was described.

↑ Back to top

Writing a set down: roster and set-builder

CONCEPT

A set can be written down in two ways, and both are standard.

ROSTER form lists every element inside braces, separated by commas: $\{1, 3, 5, 7, 9\}$. You can see at a glance exactly what is in it. That works well while the set stays small.

SET-BUILDER form states the property instead of listing members: $\{x : x = 2 n - 1, n \in \mathbb{N}, n \leq 5\}$. Read it aloud as “the set of all x such that x is one less than twice n”. The conditions after the comma say what n may be: a natural number, and no bigger than 5. Work through n = 1, 2, 3, 4, 5 and you get 1, 3, 5, 7, 9.

Both forms name the same set — the first five odd natural numbers. Neither is more correct than the other. Roster is clearer for a small set. Builder is the only practical choice once a set is large, or infinite.

Two notations, one set. Choose by size, not by rule.

Both rows can be drawn at all only because this set is small enough to list. Most of the sets in this book are not: the intervals a few pages on, chapter 2's domains, chapter 5's solution sets. Each of those has too many elements to write out, and builder form is the only one of the two notations still available. The choice between the forms is a size limit, not a preference.
Worked example

Convert $\{x : x^2 < 20, x \in \mathbb{N}\}$ to roster form

  1. $1^2 = 1$, $2^2 = 4$
    test the natural numbers in order, starting from the smallest — both are under 20, so both qualify
  2. $3^2 = 9$, $4^2 = 16$
    continue testing — both still under 20, so both qualify
  3. $5^2 = 25$
    not under 20 — stop; squares grow as the numbers grow, so every natural number past 5 has a square larger than 25 too
  4. $\{1, 2, 3, 4\}$
    the roster form — every candidate tested before the condition first failed

↑ Back to top

Empty, finite, infinite

CONCEPT

A set with no elements at all is the EMPTY SET, written $\emptyset$ or $\{\}$. It is an ordinary set in every other respect. It simply has nothing in it.

Watch one thing carefully here. $\{\emptyset\}$ is NOT the empty set. It is a set holding one element, and that element happens to be the empty set. A box with an empty box inside it is not an empty box.

A set is FINITE when counting its elements comes to an end. $\{1, 3, 5, 7, 9\}$ is finite, with 5 elements. The empty set is finite too, with 0 elements.

A set is INFINITE when the counting never ends. $\mathbb{N}$, the natural numbers, is infinite. So is $\mathbb{R}$, the real numbers.

Empty is a size, not a special case. A set holding the empty set has size 1.

Only one column answers the two questions differently from both its neighbours, and it is a different column each time — which is why neither question on its own names a kind of set. The second row is also the reason a set can be finite and still hold nothing: an empty listing has already come to an end.

↑ Back to top

Subsets, and the intervals they name on the real line

CONCEPT

Set A is a SUBSET of set B when every element of A is also an element of B. We write $A \subseteq B$.

Nothing at all is asked of B beyond that. B may hold extra elements A does not have, or it may hold exactly the same ones.

When B does hold something extra, so that $A \neq B$, we call A a PROPER subset and write $A \subset B$.

Two facts drop straight out of the definition, and both get used constantly. Every set is a subset of itself, $A \subseteq A$, because every element of A is of course in A. And the empty set is a subset of every set, $\emptyset \subseteq A$. It holds no element that could fail the test.

Subset asks one question of every element of A: is it in B as well?

Drawn as nesting, not overlap — which is the whole difference between ‘A is part of B’ and ‘A and B share something’. The lone dot x is what makes the containment proper: take it away and the two curves would have to be the same curve, because A contained in B with nothing left over is A = B.
Worked example

Show $A = \{2, 4\}$ is a proper subset of $B = \{1, 2, 3, 4, 5\}$

  1. $2 \in B$, $4 \in B$
    check each element of A in turn — both pass, so $A \subseteq B$
  2. $A \neq B$
    B holds 1, 3, 5, which A lacks — the two sets are not equal
  3. $A \subset B$
    A is a subset of B, and B has an extra element A lacks — together these make A a PROPER subset. Establish the subset first, then look for something extra: both together give proper
KEY-TERM

Between any two real numbers sit infinitely many more. So a stretch of the real line can never be written in roster form. It gets its own notation instead.

An INTERVAL is the set of every real number between two endpoints. What changes from one interval to the next is whether the endpoints themselves are counted in.

$(a, b)$ is OPEN and leaves both endpoints out: $\{x \in \mathbb{R} : a < x < b\}$. $[a, b]$ is CLOSED and takes both in: $\{x \in \mathbb{R} : a \leq x \leq b\}$. The round bracket shuts an endpoint out. The square bracket lets it in.

Half-open intervals take one of each. $[a, b)$ includes a but not b. $(a, b]$ includes b but not a.

The shape of the bracket, not the letter beside it, tells you whether an endpoint belongs.

The bars are identical; only the eight end markers differ, and that difference is the entire content of the notation. Read [a, b) as ‘roughly from a to b’ and you have lost the one thing the brackets exist to record — which every later domain, inequality and limit inherits.
A bracket is a per-endpoint decision, and the grid is what makes that visible: read down either column and the four entries do not repeat, so knowing the left bracket tells you nothing about the right one. That is worth checking against your own habit — most wrong answers on intervals come from copying a bracket across rather than deciding it.

↑ Back to top

The power set — every subset at once

CONCEPT

Given a set, you can ask a larger question: what are ALL of its subsets? Collect them into one set and you have the POWER SET of A, written $P(A)$.

Two of those subsets are easy to forget, and both belong. $\emptyset$ is a subset of A, so it is an element of $P(A)$. And A is a subset of itself, so A is an element of $P(A)$ too.

The size follows a clean rule. If A has n elements, then $P(A)$ has exactly $2^n$ elements. Here is where that comes from. To build one subset, walk through A’s elements and make a single decision about each: in, or out. That is 2 choices, made n times, and each choice is independent of the others. So there are $2^n$ combinations, and every combination gives a different subset.

Every subset is one in-or-out decision per element. Count the decisions and you have counted the subsets.

Worked example

List the power set of $A = \{1, 2, 3\}$

  1. $\emptyset$
    one subset with no elements
  2. $\{1\}$, $\{2\}$, $\{3\}$
    three subsets with one element
  3. $\{1,2\}$, $\{1,3\}$, $\{2,3\}$
    three subsets with two elements
  4. $\{1,2,3\}$
    one subset with all three elements — work up by size, so nothing is missed
  5. $P(A)$: 8 subsets in all
    collecting the four groups above — one empty, three with one element, three with two, one with all three
  6. $1 + 3 + 3 + 1 = 8 = 2^3$
    check the count against the rule — the list and the formula agree; listing by size catches every subset once and hands you a count to check against
Sorting by size is what makes the list auditable: three rows of at most three each, and no way to leave one out without the row count going wrong. Do the same for a four-element set and the rows read 1, 4, 6, 4, 1 — the same numbers as the fourth row of Pascal’s triangle in Chapter 7, and for the same reason.

↑ Back to top

Fixing the universe, and drawing it

CONCEPT

Some questions only make sense once you have fixed what is being talked about. “How many students did not pass?” cannot be answered until you know which students are in the discussion.

The UNIVERSAL SET, written $U$, is that fixed collection: everything under discussion in a given problem. Every other set in the problem is understood as a subset of U.

U is not fixed once and for all. In one problem U might be $\mathbb{N}$. In another it might be the students in one class, or the days of one week. You choose it to fit the problem in front of you.

Because it is a choice, it is worth stating plainly at the start of a problem. Change U and the answers change with it.

U is a decision you make, not a fact about sets.

A is the same three numbers in all three rows. Cover the counts on the right and try to name A prime before you read them — nothing about A settles it.
KEY-TERM

Relationships between sets are easier to see than to read. A VENN DIAGRAM is how they get drawn.

The universal set U is a rectangle. Each set inside it is a closed curve, usually a circle. An element sits inside a curve when it belongs to that set, and outside the curve when it does not.

Where two curves overlap, that region holds the elements both sets share. Where a curve sits on its own, that region holds what only that set has. The space inside the rectangle but outside every curve holds whatever belongs to none of them.

The correspondence is exact, and that is what makes the picture worth trusting. Every region of the diagram stands for one membership combination, and every membership combination has exactly one region.

Region and membership line up one to one. Read the diagram as a claim, not a sketch.

Notice that the fourth region is inside the rectangle, not outside it — it is part of the picture, and a question like “how many students take neither subject?” is answered there. The commonest way to misread a Venn diagram is to treat that region as blank paper.

↑ Back to top

The four operations

CONCEPT

The UNION of A and B is written $A \cup B$. It holds every element that is in A, in B, or in both.

Nothing is left out. Every element of A goes in, and so does every element of B.

Nothing is doubled either. If an element sits in both sets, it still appears once in the union — a set never lists the same element twice. That is not a special rule invented for unions. It is what “distinct objects” already meant in the definition of a set.

On a Venn diagram, the union is both circles shaded, overlap included.

Union collects everything. A shared element is collected once, not twice.

Count what is drawn: four elements, though A has three and B has two. The missing one is not an error to fix later — it is exactly the double-counted overlap that the inclusion-exclusion formula at the end of this chapter subtracts.
CONCEPT

The INTERSECTION of A and B, written $A \cap B$, holds the elements that are in BOTH A and B.

Union asked “in either one?”. Intersection asks “in both?”, so it is always the stricter test. An intersection can never come out larger than either set it was built from.

Sometimes nothing passes at all. If A and B share no elements, then $A \cap B = \emptyset$, and A and B are called DISJOINT.

On a Venn diagram, disjoint sets are two circles drawn so they do not touch. There is no overlap region, because there would be nothing to put in it.

Intersection keeps only what both sets agree on — and sometimes they agree on nothing.

The right-hand panel is the one that gets skipped. Sharing nothing is not a special exception to intersection — it is the ordinary answer whenever two sets happen not to meet, and writing it as the empty set says something that leaving the intersection unmentioned does not.
Worked example

Find $A \cup B$ and $A \cap B$ for $A = \{1,2,3,4\}$, $B = \{3,4,5,6\}$

  1. $A \cup B = \{1, 2, 3, 4, 5, 6\}$
    take everything from either set — 3 and 4 turn up in both, so each is listed once, not twice
  2. $A \cap B = \{3, 4\}$
    keep only what is in both sets — check each element of A against B in turn
  3. $n(A) = 4$, $n(B) = 4$
    compare the sizes — each set on its own has 4 elements
  4. $n(A \cup B) = 6$
    not 8 — the two shared elements were counted twice in $4 + 4$, and the union lists them once each; the size of a union is not the two sizes added, unless the sets share nothing
CONCEPT

The DIFFERENCE of A and B, written $A - B$, holds the elements of A that are NOT in B.

Read it as “A, with anything B also has taken out”. B’s own elements never enter the result. Only A’s do.

Order matters here, and this is where the mistakes happen. $A - B$ and $B - A$ are generally different sets. $A - B$ keeps A’s leftovers, and $B - A$ keeps B’s. There is no reason those two collections would match.

Compare that with union and intersection, where swapping the two sets changes nothing at all. Difference does not behave that way.

*$A - B$ starts from A. Swap the letters and you have started somewhere else.*

Nothing moves between the panels — same circles, same overlap, same labels — and yet the two shaded sets have no element in common. That is what ‘not symmetric’ costs in practice, and it is why A minus B and B minus A can never be swapped the way A union B and B union A can.
CONCEPT

The COMPLEMENT of A, written $A'$, holds everything in the universal set that is not in A. In the notation already built, $A' = U - A$.

So a complement is just a difference, with U always on the left.

That makes the universal set load-bearing rather than decorative. “Not in A” means nothing until “everything under discussion” has been settled. Ask for the complement of the set of prime numbers and the honest reply is a question: complement inside what?

Fix U as the numbers 1 to 10 and one answer follows. Fix U as $\mathbb{N}$ and a completely different one does.

A complement is only as well-defined as the U it is taken inside.

The heavy border is the part doing the work. Ask for ‘everything not in A’ without that box and there is no answer at all; draw the box bigger or smaller and the complement changes with it, though A itself never moved.
Worked example

Find $A - B$, $B - A$, and $A'$ for $A = \{1,\ldots,5\}$, $B = \{4,\ldots,7\}$, $U = \{1,\ldots,10\}$

  1. $A - B = \{1, 2, 3\}$
    start with A and drop anything B also has — B has 4 and 5, so both go
  2. $B - A = \{6, 7\}$
    start with B this time and drop anything A also has — A has 4 and 5, so those two go again
  3. $A - B \neq B - A$
    the two results are different sets, confirming difference is not symmetric on this pair
  4. $A' = \{6, 7, 8, 9, 10\}$
    take everything in U that is not in A — U runs 1 to 10, A holds 1 to 5; difference starts from whichever set is written first, complement always starts from U
Work down a column rather than across a row and the drawing answers a different question: the number 5 is in A and in B, so it is in neither difference, while 8 is in no set but A prime. That is the check to run on any answer you produce here — pick one element and ask which rows should have marked it.

↑ Back to top

Laws the operations obey

CONCEPT

Set operations obey fixed laws, much as arithmetic does. Knowing them lets you rewrite an expression instead of computing it from the ground up.

Union and intersection are each COMMUTATIVE, so order does not matter: $A \cup B = B \cup A$. Both are ASSOCIATIVE too, so when the same operation is repeated, the grouping does not matter either.

Each one DISTRIBUTES over the other. Union distributes over intersection, and intersection distributes over union. That is one more than arithmetic gives you, where multiplication distributes over addition but addition does not distribute over multiplication.

DE MORGAN’S LAWS connect the complement to both operations, and they flip the operation on the way through. The first says $(A \cup B)' = A' \cap B'$. The second says $(A \cap B)' = A' \cup B'$. The complement of a union is the intersection of the complements, and the other way round.

De Morgan’s laws swap the operation, not just the sets. Union goes in, intersection comes out.

Each law is two expressions and one region, and the panels are paired so the eye does the checking: if the two shadings in a row ever came out different, the law would be false. That is a test you can run yourself on any set identity you are unsure of.
Worked example

Verify $(A \cup B)' = A' \cap B'$ on one concrete pair

  1. $A \cup B = \{1, 2, 3, 4, 5, 6, 7\}$
    left side, step 1 — compute the union first
  2. $(A \cup B)' = \{8, 9, 10\}$
    left side, step 2 — take the complement of the union inside U
  3. $A' = \{6, 7, 8, 9, 10\}$
    right side, step 1 — compute the complement of A
  4. $B' = \{1, 2, 3, 8, 9, 10\}$
    right side, step 1 continued — compute the complement of B, without looking at the left side
  5. $A' \cap B' = \{8, 9, 10\}$
    right side, step 2 — intersect the two complements, keeping only what appears in both
  6. $\{8, 9, 10\} = \{8, 9, 10\}$
    both sides match — the law holds on this pair; one concrete pair cannot prove a law, but it can catch a misremembered one
The worked example checks one De Morgan law; this is the other, on the same A, B and U. Build the bottom row yourself, then predict the top one.

↑ Back to top

Counting without double-counting

CONCEPT

Write $n(A)$ for the number of elements in A. For finite sets, $n(A \cup B) = n(A) + n(B) - n(A \cap B)$.

The subtraction is the part that matters, so it is worth seeing where it comes from.

Add $n(A)$ and $n(B)$, and each element gets counted once for every set it belongs to. An element in only A is counted once, which is right. An element in both is counted twice. It is counted once inside $n(A)$, then again inside $n(B)$. That is one time too many. Subtracting $n(A \cap B)$ removes exactly one copy of each of those.

When A and B are disjoint there is nothing shared, so $n(A \cap B) = 0$ and the formula collapses to plain addition.

Add, then correct. The correction is the size of the overlap, subtracted once.

Adding 30 and 20 counts the ten who play both games twice, which is the whole reason the formula subtracts them once. The four numbers on the drawing are the check: they total 50, the size of the class, and nobody is standing in two regions at once.
The three-set row is here so the rule can be seen extending rather than being replaced. It is the same alternation all the way up — add the singles, take out the pairs, put back the triple — and Chapter 6 will use exactly this pattern again when it counts arrangements with restrictions.
Worked example

Count how many of 50 students play cricket or football

  1. $n(C) = 30$, $n(F) = 20$
    name the sets first — C for cricket players, F for football players — and write down what you were given
  2. $n(C \cap F) = 10$
    10 students play both games
  3. $n(C \cup F) = 30 + 20 - 10 = 40$
    cricket or football is the union, so the inclusion-exclusion formula applies
  4. $50 - 40 = 10$
    the class has 50 students in all, so those playing neither are everyone outside the union
Read the table any of three ways and it answers a different exam question: across a row for how many play cricket, down a column for football, or cell by cell for the four groups the class actually splits into. The cell holding 10 in the corner is the only one no total counts twice.

↑ Back to top

One question, five moves

RECAP

Every idea in this chapter answers one question: exactly which objects belong to this set?

The five moves are all ways of answering it.

The real skill this chapter builds is not any one of those five on its own. It is reading a problem and knowing which of them it is asking for.

A question about what fits inside what is a subset question. A question about combining sets is an operation. A question with “how many” in it, and any overlap at all, is the counting formula.

Five moves, one question underneath all of them.

Use this as a first check on any answer you write in this chapter: if a question asks “how many” and your answer is a roster, or asks whether A is a subset of B and your answer is a set, the table says so before the marking scheme does.

↑ Back to top

Two traps this chapter sets

MISCONCEPTION

THE TRAP. $\emptyset$ and $\{\emptyset\}$ are the same thing, because both are just “nothing”.

THE REALITY. They are never the same set.

$\emptyset$ has 0 elements. $\{\emptyset\}$ has 1 element, and that element is the empty set itself. Count them and the difference is immediate: 0 against 1.

Two sets are equal only when they hold the same elements. A set with nothing in it can never pass that test against a set with one thing in it. What the one thing happens to be makes no difference.

The braces are doing real work in $\{\emptyset\}$. Braces wrap something up and make it a member. Wrapping nothing in braces gives you a container holding one item, not an empty container.

Cardinality 0 and cardinality 1 are never equal. That settles it, with no further argument needed.

Counting the members of a set that holds the empty set

Weaker. Asked for $n(\{\emptyset\})$, a student writes 0, and the reasoning sounds reasonable said out loud: the braces hold the empty set, the empty set is nothing, so there is nothing in there to count. The same student then writes $\{\emptyset\} = \emptyset$, on the grounds that two sets that are both “nothing” have to be the same set.

Stronger. Count what is actually listed between the outer braces. One thing is listed: $\emptyset$. That the listed thing is itself empty changes nothing about the count, so $n(\{\emptyset\}) = 1$. And $n(\emptyset) = 0$, so the two sets have different sizes and cannot be equal. The test to carry away is the comparison with $\{0\}$: nobody writes $n(\{0\}) = 0$ because the element happens to be zero, and $\emptyset$ sitting inside braces is no different.

MISCONCEPTION
The shaded remainder is what skipping the overlap check costs. The bottom bar is the case the trap remembers: adding really does work there, which is how the habit survives.

THE TRAP. $n(A \cup B) = n(A) + n(B)$, always. Add the two sizes and you are done.

THE REALITY. That works only when A and B are DISJOINT.

The moment the two sets overlap, plain addition fails. Every element of $A \cap B$ has already been counted once inside $n(A)$. Then it gets counted again inside $n(B)$. Nothing in the addition removes that duplicate.

The fix is one subtraction: $n(A \cup B) = n(A) + n(B) - n(A \cap B)$. Take off one copy of each shared element and the count comes right.

So the safe habit is to look for an overlap before adding. If the overlap really is empty, then $n(A \cap B) = 0$ and the subtraction costs you nothing.

Adding the sizes is not wrong, it is incomplete. It is the disjoint case of a formula that has one more term.

↑ Back to top

Practice set

Exercise 1.1 — Set representations
  1. practice Write $\{x : x \in \mathbb{N}, x^2 < 30\}$ in roster form.
  2. practice Write $\{2, 4, 6, 8, 10\}$ in set-builder form.
Answers
  1. $\{1, 2, 3, 4, 5\}$
  2. $\{x : x = 2n, n \in \mathbb{N}, n \leq 5\}$
This is a map of the pages that follow, so read it before you start rather than after you are stuck. A problem you cannot place in a column is usually a problem whose wording you have not finished reading.
Exercise 1.2 — Empty, finite, infinite
  1. practice Is $\{x \in \mathbb{N} : x < 1\}$ empty, finite, or infinite?
  2. practice Classify $\{x \in ZZ : x > 5\}$ as finite or infinite.
Answers
  1. Empty (hence finite, 0 elements).
  2. Infinite.
Two rows, drawn the same way, that classify for opposite reasons — the first because the marking never starts, the second because it never stops. When an exercise asks you to classify a set, the fastest honest move is to try to mark a few members and watch which of these two happens.
Exercise 1.3 — Subsets, intervals, power set
  1. practice Which of these is NOT a subset of $\{1, 2, 3\}$?
    1. $\{1,2\}$
    2. $\{3\}$
    3. $\{1,2,3,4\}$
    4. $\emptyset$
  2. practice Write $\{x \in \mathbb{R} : -2 \leq x < 5\}$ using interval notation.
  3. practice If $A = \{a, b, c\}$, how many elements does $P(A)$ have?
  4. practice How many elements does $P(A)$ have if $n(A) = 6$?
Answers
  1. $\{1,2,3,4\}$
  2. $[-2, 5)$
  3. $8$
  4. $2^6 = 64$
The two rows are identical, and that is the whole content: every question about membership of P(A) can be answered as a question about subsets of A, whichever the exercise happens to ask. Only the last column separates them from the element relation, and that column is where the marks are lost.
Exercise 1.4 — Universal set and Venn diagrams
  1. practice Universal set $U = \{1,2,\ldots,10\}$. If $A = \{1,3,5,7,9\}$ is drawn as a circle inside U’s rectangle, which numbers lie inside the rectangle but outside the circle?
  2. practice In a Venn diagram of two sets A and B inside universal set U, which region represents $(A \cup B)'$?
    1. inside both circles
    2. inside exactly one circle
    3. inside the rectangle but outside both circles
    4. outside the rectangle entirely
  3. practice In a Venn diagram of two sets A and B inside universal set U, which region represents $A - B$?
    1. inside A only, not B
    2. inside B only, not A
    3. inside both A and B
    4. outside both A and B
Answers
  1. $\{2,4,6,8,10\}$
  2. inside the rectangle but outside both circles
  3. inside A only, not B
Exercise 1.5 — Operations and De Morgan’s laws
  1. practice Let $A = \{1,2,3,4\}$, $B = \{3,4,5,6\}$. Find $A \cup B$ and $A \cap B$.
  2. practice Universal set $U = \{1,\ldots,10\}$, $A = \{1,2,3,4,5\}$, $B = \{4,5,6,7\}$. Find $A - B$ and $B - A$.
  3. practice Using De Morgan’s laws, $(A \cup B)'$ equals which of these?
    1. $A' \cup B'$
    2. $A' \cap B'$
    3. $A \cap B$
    4. $A - B$
Answers
  1. $A \cup B = \{1,2,3,4,5,6\}$; $A \cap B = \{3,4\}$
  2. $A-B = \{1,2,3\}$; $B-A = \{6,7\}$
  3. $A' \cap B'$
Miscellaneous — practice set
  1. practice In a survey of 60 people, 25 like tea, 20 like coffee, and 10 like both. How many like tea or coffee?
  2. practice If $n(A) = 15$, $n(B) = 10$, $n(A \cap B) = 5$, find $n(A \cup B)$.
    1. $20$
    2. $25$
    3. $15$
    4. $10$
  3. practice If $n(A) = 15$, $n(B) = 12$, $n(A \cap B) = 5$, and $n(U) = 30$, find $n((A \cup B)')$.
Answers
  1. $35$
  2. $20$
  3. $8$
Drawn to scale, the block the question never mentions turns out to be the largest one in the room. Two of the three problems in this set turn on exactly that block, so before adding anything, ask how many people are outside both sets.
From the item bank
  1. In a Venn diagram, what does the region where two circles overlap represent?
    1. the elements that belong to both sets.
    2. the elements that belong to at least one of the two sets.
    3. the elements that belong to neither set.
    4. the boundary between the two sets, containing no elements at all.
    Check your answer
    1. ✓ the elements that belong to both sets. — (A) Region and membership correspond exactly in a Venn diagram — where two curves cross is precisely the elements shared by both sets.
    2. the elements that belong to at least one of the two sets. — The region belonging to at least one set is the whole area covered by either circle — that is the union, a bigger region than just where the two circles cross.
    3. the elements that belong to neither set. — The area outside both circles, but still inside the rectangle for U, is the region belonging to neither set — the exact opposite of the overlap, which belongs to both.
    4. the boundary between the two sets, containing no elements at all. — The overlap is a genuine region with its own elements sitting inside it — every point in that crossing area is a real member of both sets, not an empty line.
From the item bank
  1. A marketing report draws two overlapping circles — one for customers who bought Product A, one for Product B. A customer who bought only Product A appears where on the diagram?
    1. inside the Product A circle, but outside the overlap region with Product B.
    2. inside the overlap region shared by both circles.
    3. outside both circles entirely, in the surrounding rectangle, among customers who bought neither product.
    4. inside the Product B circle only.
    Check your answer
    1. ✓ inside the Product A circle, but outside the overlap region with Product B. — (A) Region and membership match exactly — bought-A-only sits inside the A circle, outside where it crosses the B circle.
    2. inside the overlap region shared by both circles. — The overlap is reserved for customers in both sets — someone who bought only Product A has not bought Product B, so they do not belong in that shared region.
    3. outside both circles entirely, in the surrounding rectangle, among customers who bought neither product. — The region outside both circles represents people who bought neither product — exactly the opposite of a customer who did buy Product A.
    4. inside the Product B circle only. — The Product B circle, outside the overlap, is for customers who bought only Product B — this customer bought Product A, not B, so they belong in the other circle.
From the item bank
  1. A Venn diagram compares students who answered Question 1 correctly against students who answered Question 2 correctly, drawn as two overlapping circles inside a rectangle. What does the rectangle itself represent?
    1. the union of the two circles — every student who answered at least one question correctly.
    2. just the region for students who answered neither question correctly.
    3. nothing in particular — it is just a frame drawn for convenience, with no set meaning of its own.
    4. the universal set — every student in the survey, correct or not on either question.
    Check your answer
    1. the union of the two circles — every student who answered at least one question correctly. — The union is only the area covered by the two circles together — the rectangle is larger still, since it also holds students who answered neither question correctly.
    2. just the region for students who answered neither question correctly. — The neither-region is only the part of the rectangle outside both circles — the rectangle itself is the whole surveyed group, circles included.
    3. nothing in particular — it is just a frame drawn for convenience, with no set meaning of its own. — The rectangle is not decorative — it stands for U, the universal set, exactly as deliberately as each circle stands for one named set.
    4. ✓ the universal set — every student in the survey, correct or not on either question. — The rectangle always stands for the universal set U — here, the full group of surveyed students, circles and all.

↑ Back to top

Chapter-end problems

The last column is the whole argument: wherever an element sits, the three passes leave it counted once. Work the middle row by hand before starting the problems below.
Chapter-end problems — graded set
  1. board-easy Write $\{x : x \in \mathbb{N}, x < 6\}$ in roster form.
  2. board-easy Are $\{2, 4, 6\}$ and $\{6, 4, 2\}$ equal as sets?
  3. board-easy Is $\{\}$ the same set as $\{0\}$?
  4. board-easy Let $A = \{1, 2, 3\}$, $B = \{2, 3, 4, 5\}$. Find $A \cup B$.
  5. board-easy Let $A = \{1, 2, 3, 4\}$, $B = \{3, 4, 5, 6\}$. Find $A \cap B$.
  6. board-easy Let $A = \{1, 2, 3, 4, 5\}$, $B = \{3, 4\}$. Find $A - B$.
  7. board-easy Universal set $U = \{1, \ldots, 10\}$, $A = \{2, 4, 6, 8, 10\}$. Find $A'$.
  8. board-easy Is $\{1, 2\}$ a subset of $\{1, 2, 3\}$?
  9. board-easy If $A = \{a, b, c\}$, how many elements does $P(A)$ have?
  10. board-easy Which of these sets is infinite?
    1. $\{x \in \mathbb{N} : x < 10\}$
    2. $\mathbb{N}$, the natural numbers
    3. $\{1, 2, 3\}$
    4. $\{\}$
  11. board-easy Write $\{1, 4, 9, 16, 25\}$ in set-builder form.
  12. board-standard $U = \{1, \ldots, 20\}$. $A$ is the multiples of 3 in U, $B$ the multiples of 4. Find $A \cap B$.
  13. board-standard Let $A = \{x \in ZZ : -3 \leq x \leq 3\}$. Find $n(A)$.
  14. board-standard $U = \{1, \ldots, 10\}$, $A = \{1, 2, 3, 4\}$, $B = \{3, 4, 5, 6\}$. Verify $(A \cup B)' = A' \cap B'$.
  15. board-standard Let $A = \{1, 2, 3\}$, $B = \{2, 3, 4\}$. Find $(A - B) \cup (B - A)$.
  16. board-standard In a class of 50, 30 play cricket, 20 play football, and 10 play both. How many play neither?
  17. board-standard In a Venn diagram of sets A and B inside U, which region is $A \cap B'$?
    1. inside A only, not B
    2. inside B only, not A
    3. inside both A and B
    4. outside both circles
  18. board-standard List every element of $P(\{1, 2\})$.
  19. board-standard Write the interval $[2, 7)$ as a set using set-builder notation.
  20. board-standard If $A$ is a subset of $B$, and $B$ is a subset of $C$, does $A$ have to be a subset of $C$?
  21. board-standard A school has 50 students. 18 play chess; the rest do not. Find $n(A')$ where $A$ is the chess players.
  22. board-standard $U = \{1, \ldots, 10\}$, $A = \{1, 3, 5, 7, 9\}$. Verify $(A')' = A$.
  23. board-standard In a survey of 100 people, 55 read newspaper A, 40 read B, and 15 read both. How many read A or B?
  24. JEE In a survey: 50 like tea, 40 like coffee, 30 like juice; 15 like tea & coffee, 10 coffee & juice, 8 tea & juice, and 5 like all three. How many like at least one?
    1. $80$
    2. $92$
    3. $98$
    4. $143$
  25. JEE If $n(P(A)) = 64$, find $n(A)$.
  26. JEE Let $A = \{1,2,3,4,5\}$, $B = \{2,3\}$, $C = \{4\}$. Verify $A - (B \cup C) = (A - B) \cap (A - C)$.
  27. JEE Let $A = \{x : x^2 - 5x + 6 = 0\}$ and $B = \{2, 3, 5\}$. Is $A$ a subset of $B$?
  28. JEE In a group of 70 people, everyone likes tea or coffee (or both); 45 like tea, 35 like coffee. How many like both?
  29. JEE If $A = \{1, 2, 3\}$ and $B = \{4, 5\}$ are disjoint, which formula gives $n(A \cup B)$?
    1. $n(A) + n(B)$
    2. $n(A) + n(B) - n(A \cap B)$ with $n(A \cap B) \neq 0$
    3. $n(A) \cdot n(B)$
    4. $max(n(A), n(B))$
  30. JEE $U = \{1,\ldots,10\}$, $A=\{1,2,3,4,5\}$, $B=\{2,3,4,5,6\}$, $C=\{3,4,5,6,7\}$. Verify $(A \cap B \cap C)' = A' \cup B' \cup C'$.
  31. JEE A set has 5 elements. How many of its subsets contain one fixed element $x$?
  32. JEE In a survey of three magazines A, B, C: 50 read A, 40 read B, 30 read C; 15 read A&B, 10 read B&C, 8 read A&C, 5 read all three. How many read ONLY C?
    1. $12$
    2. $17$
    3. $22$
    4. $30$
Answers
  1. $\{1, 2, 3, 4, 5\}$
  2. Yes — order never changes a set’s identity.
  3. No — they have different cardinalities.
  4. $\{1, 2, 3, 4, 5\}$
  5. $\{3, 4\}$
  6. $\{1, 2, 5\}$
  7. $\{1, 3, 5, 7, 9\}$
  8. Yes.
  9. $8$
  10. $\mathbb{N}$, the natural numbers
  11. $\{x : x = n^2, n \in \mathbb{N}, n \leq 5\}$
  12. $\{12\}$
  13. $7$
  14. $\{7, 8, 9, 10\}$, and both sides agree.
  15. $\{1, 4\}$
  16. $10$
  17. inside A only, not B
  18. $\{\{\}, \{1\}, \{2\}, \{1,2\}\}$
  19. $\{x \in \mathbb{R} : 2 \leq x < 7\}$
  20. Yes — the subset relation is transitive.
  21. $32$
  22. They are equal — double complement returns A.
  23. $80$
  24. $92$
  25. $6$
  26. $\{1, 5\}$ on both sides — the identity holds.
  27. Yes.
  28. $10$
  29. $n(A) + n(B)$
  30. $\{1, 2, 6, 7, 8, 9, 10\}$ on both sides.
  31. $16$
  32. $17$
Widths are counts, so the bar is a revision plan: the blue stretch is where more than half the marks are, and it is the half that reuses one formula and four definitions rather than many. If your last hour before the paper has to be spent unevenly, spend it in proportion to this bar.
The two outlined columns move in opposite directions as the tier rises, and neither middle column moves much. So the difficulty in this chapter is not harder sets — it is that the harder problems stop telling you the counts and make you work them out.
Every column has a short YES list, and that is the useful shape: only two of these five results need an overlap at all, and only two need the universal set. If a problem gives you neither, the result you are reaching for is probably the wrong one.

↑ Back to top

JEE-level practice (item bank)

JEE-level practice — from the item bank
  1. If n(A) = 20, n(B) = 30 and n(A ∪ B) = 40, find n(A ∩ B).
    1. 10
    2. 50
    3. 20
    4. 30
    Check your answer
    1. ✓ 10 — Rearranging n(A ∪ B) = n(A) + n(B) - n(A ∩ B) gives n(A ∩ B) = 20+30-40 = 10.
    2. 50 — n(A)+n(B) = 50 double-counts the overlap once, not the overlap itself — rearranging the union formula gives 20+30-40 = 10.
    3. 20 — 20 is n(A), a given fact, not the intersection the question asks for.
    4. 30 — 30 is n(B), a given fact, not the intersection the question asks for.
  2. In a survey of 100 students, 45 play cricket, 30 play football, and 20 play both. How many play neither?
    1. 25
    2. 45
    3. 55
    4. 20
    Check your answer
    1. 25 — 100-45 = 55 only removes the cricket players, ignoring football entirely.
    2. ✓ 45 — n(C ∪ F) = 45+30-20 = 55 play at least one, so 100-55 = 45 play neither.
    3. 55 — 45+30 = 75 double-counts the 20 who play both, so it overstates the union.
    4. 20 — 20 is how many play both sports, not how many play neither.
  3. If n(P(A)) = 32, find n(A).
    1. 16
    2. 8
    3. 5
    4. 32
    Check your answer
    1. 16 — 16 would be n(A) if the rule were 2 times n(A), but the power set grows as $2^{n(A)}$, not 2n(A).
    2. 8 — $2^3$ = 8, not 32 — this guess does not match the given power-set size at all.
    3. ✓ 5 — $2^{n(A)}$ = 32 = $2^5$, so n(A) = 5.
    4. 32 — 32 is n(P(A)), the count of subsets, not n(A) itself.
The two outlined rungs are where this bank’s power-set items sit: 32 subsets means five elements, 16 means four.
JEE-level practice — continued
  1. How many PROPER subsets does a set with 4 elements have?
    1. 16
    2. 15
    3. 8
    4. 14
    Check your answer
    1. 16 — $2^4$ = 16 counts every subset including the set itself, which a PROPER subset must exclude.
    2. ✓ 15 — Total subsets = $2^4$ = 16; excluding the set itself leaves 16-1 = 15 proper subsets.
    3. 8 — Halving 16 to get 8 has no basis — the fix is subtracting exactly one subset (the full set), not halving.
    4. 14 — 14 drops one subset too many — the empty set stays a valid proper subset; only the full set is excluded.
  2. A = {1,2,3,4,5,6}, B = {2,4,6,8}. Find n(A-B).
    1. 3
    2. 4
    3. 2
    4. 6
    Check your answer
    1. ✓ 3 — A - B = {1,3,5} (elements of A not in B), so n(A-B) = 3.
    2. 4 — 4 is n(B) — the question asks what remains of A after removing B’s members, not B’s own size.
    3. 2 — A ∩ B = {2,4,6} is what A and B share, the opposite of what A-B removes.
    4. 6 — 6 is n(A) before removing anything — B does share 3 elements with A, so something is removed.
  3. 18 students play chess, 20 play carrom, 27 play table tennis; 7 play chess and carrom, 12 play carrom and table tennis, 4 play chess and table tennis, and 2 play all three. How many play at least one game?
    1. 65
    2. 42
    3. 46
    4. 44
    Check your answer
    1. 65 — 18+20+27 = 65 counts every overlapping player two or three times over — the pairwise and triple overlaps are never removed.
    2. 42 — 18+20+27-7-12-4 = 42 removes the double-counted pairs but also removes the triple-overlap players three times over instead of two — the formula adds them back once to fix exactly that.
    3. 46 — 18+20+27-7-12-4+2+2 = 46 adds the triple overlap back twice; the inclusion-exclusion formula adds it back exactly once.
    4. ✓ 44 — n(C ∪ R ∪ T) = 18+20+27-7-12-4+2 = 44.
  4. If A ⊆ B, which of these is always true?
    1. A ∩ B = B
    2. A ∪ B = B
    3. A - B = A
    4. B - A = ∅
    Check your answer
    1. A ∩ B = B — When A ⊆ B, the intersection is the smaller set A, not B — A ∩ B = A, not B.
    2. ✓ A ∪ B = B — A ⊆ B means every element of A already sits inside B, so the union adds nothing new: A ∪ B = B.
    3. A - B = A — When A ⊆ B, every element of A is also in B, so A - B = ∅, the opposite of A surviving untouched.
    4. B - A = ∅ — A ⊆ B allows B to hold extra elements A lacks — B - A = ∅ only if A and B are equal, which A ⊆ B alone does not force.
  5. How many elements does P(∅), the power set of the empty set, have?
    1. 1
    2. 0
    3. 2
    4. undefined
    Check your answer
    1. ✓ 1 — n(∅) = 0, so n(P(∅)) = $2^0$ = 1 — the single subset is ∅ itself.
    2. 0 — The empty set itself has 0 elements, but its power set is not empty — ∅ is always one valid subset of any set.
    3. 2 — $2^{n(A)}$ with n(∅)=0 gives $2^0=1$, not 2 — 2 would be the power set of a 1-element set.
    4. undefined — The rule $2^{n(A)}$ applies for every finite set, empty included; n(∅)=0 is perfectly well-defined.
The union keeps all three blocks; the symmetric difference keeps only the outlined two, which is why the overlap comes off twice.
JEE-level practice — continued
  1. n(A) = 15, n(B) = 25, disjoint, n(U) = 50. Find n((A ∪ B)′).
    1. 40
    2. 0
    3. 10
    4. 15
    Check your answer
    1. 40 — 15+25 = 40 is n(A ∪ B) itself (valid here since they’re disjoint), not its complement.
    2. 0 — Disjoint means A and B share nothing, but U can still hold elements in neither — nothing here says A ∪ B = U.
    3. ✓ 10 — Since disjoint, n(A ∪ B) = 15+25 = 40, so n((A ∪ B)′) = 50-40 = 10.
    4. 15 — 15 is n(A), unrelated to how many elements sit outside the union entirely.
  2. n(A) = 12, n(B) = 18, n(A ∩ B) = 5. Find n(A Δ B), the symmetric difference of A and B.
    1. 30
    2. 25
    3. 13
    4. 20
    Check your answer
    1. 30 — 12+18 = 30 counts the 5 shared elements on both sides, so it is too large by exactly 2 times 5.
    2. 25 — 12+18-5 = 25 is n(A ∪ B), which still keeps the shared elements once — the symmetric difference excludes them entirely.
    3. 13 — 12-5 = 7 is only n(A-B); the symmetric difference also needs B’s own exclusive elements, n(B-A) = 13.
    4. ✓ 20 — n(A Δ B) = n(A)+n(B)-2n(A ∩ B) = 12+18-10 = 20.
Two elements already decided leave eight free answers, so the count is 2 to the eighth. Forcing an element in costs a choice the same way.
JEE-level practice — continued
  1. If n(A) = n(B) and n(A ∩ B) = n(A), what follows?
    1. A and B are disjoint
    2. A = B
    3. A is a proper subset of B
    4. Nothing follows without more information
    Check your answer
    1. A and B are disjoint — Disjoint sets share nothing, so n(A ∩ B) would be 0 — the given condition says it equals n(A) instead.
    2. ✓ A = B — n(A ∩ B) = n(A) means A ⊆ B; with n(A) = n(B) too, A and B must contain exactly the same elements, so A = B.
    3. A is a proper subset of B — A proper subset of B has strictly fewer elements than B, contradicting the given n(A) = n(B).
    4. Nothing follows without more information — n(A ∩ B) = n(A) forces A ⊆ B, and n(A) = n(B) then forces equality — the conclusion is fully determined.
  2. How many subsets of {1, 2, ..., 10} contain neither 1 nor 2?
    1. 1024
    2. 512
    3. 256
    4. 128
    Check your answer
    1. 1024 — $2^{10}$ = 1024 is every subset of the full set — this ignores that 1 and 2 must both be left out.
    2. 512 — $2^9$ = 512 only accounts for excluding one element; both 1 and 2 must be removed from consideration.
    3. ✓ 256 — Excluding 1 and 2 leaves 8 free elements, each independently in or out: $2^8$ = 256.
    4. 128 — $2^7$ = 128 would be excluding 3 elements; only 1 and 2 are named, leaving 8 free elements, not 7.
  3. In a town of 10,000 families, 40% read newspaper A, 20% read B, and 10% read both. What percentage reads neither?
    1. 30%
    2. 60%
    3. 40%
    4. 50%
    Check your answer
    1. 30% — 100%-10% = 90% only removes the both-readers group, leaving A-only and B-only readers uncounted as readers.
    2. 60% — 100%-40% = 60% ignores newspaper B’s readers entirely, including those who read only B.
    3. 40% — 40%+20% = 60% double-counts the 10% who read both — the union formula must subtract that overlap once.
    4. ✓ 50% — n(A ∪ B) = 40+20-10 = 50% read at least one, so 100-50 = 50% read neither.
  4. A = {x : x is a prime number, x < 20}. Find n(A).
    1. 9
    2. 8
    3. 7
    4. 10
    Check your answer
    1. 9 — 1 is not a prime number by definition (a prime has exactly two divisors, 1 and itself) — 1 fails that test.
    2. ✓ 8 — Primes below 20 are {2,3,5,7,11,13,17,19}, so n(A) = 8.
    3. 7 — The full list is 2, 3, 5, 7, 11, 13, 17, 19 — that is 8 primes, one more than this option counts.
    4. 10 — Every listed candidate must actually be prime; a number like 9 (=3 times 3) or 15 (=3 times 5) fails and does not belong.
  5. Which of these correctly expresses (A - B)′ (relative to universal set U)?
    1. A' ∪ B
    2. A' ∩ B
    3. A ∪ B'
    4. A ∩ B'
    Check your answer
    1. ✓ A' ∪ B — A-B = A ∩ B', so by De Morgan’s law (A-B)′ = (A ∩ B')′ = A' ∪ B.
    2. A' ∩ B — De Morgan’s law turns the intersection (A ∩ B') into a UNION of complements, not another intersection.
    3. A ∪ B' — A ∪ B' never complements A at all — De Morgan’s law complements every term inside the parentheses.
    4. A ∩ B' — A ∩ B' is just A-B rewritten, not its complement — the question asks for (A-B)′.
The lower row has an empty triple overlap and still fails, because two of its three pairs meet.
JEE-level practice — continued
  1. 70 people like tea, coffee, or both; 45 like tea, 35 like coffee. How many like both?
    1. 80
    2. 35
    3. 10
    4. 25
    Check your answer
    1. 80 — 45+35 = 80 exceeds the 70 people who exist — that gap of 10 is exactly the double-counted both-drinkers.
    2. 35 — 35 is n(coffee), not the overlap the question asks for.
    3. ✓ 10 — n(T ∪ C) = 70 since everyone likes at least one, so n(T ∩ C) = 45+35-70 = 10.
    4. 25 — 45+35-70 = 10, not 25 — check the subtraction: 80-70=10.
  2. If n(A ∪ B ∪ C) = n(A) + n(B) + n(C), what must be true?
    1. A, B, C are all equal
    2. A is a subset of both B and C
    3. every pair is disjoint
    4. nothing extra follows
    Check your answer
    1. A, B, C are all equal — Equal totals never force equal sets — three completely different disjoint sets can have any sizes at all.
    2. A is a subset of both B and C — Nothing in the given sum suggests one set sits inside the other two — that would actually change the formula’s terms.
    3. ✓ every pair is disjoint — The general formula subtracts all pairwise and adds back the triple overlap; matching the simple sum forces every overlap term to be 0 — every pair is disjoint.
    4. nothing extra follows — The full three-set formula subtracts every pairwise and triple overlap; those terms vanishing means every overlap is 0.
  3. A set has 5 elements. How many of its subsets contain one fixed element x?
    1. 32
    2. 16
    3. 10
    4. 8
    Check your answer
    1. 32 — $2^5$ = 32 is every subset of the whole set, including the many that leave x out entirely.
    2. ✓ 16 — Fix x inside the subset; the remaining 4 elements are each free to be in or out: $2^4$ = 16.
    3. 10 — 10 would count 2-element subsets containing x (C(4,1)) — a different, narrower question than this one.
    4. 8 — $2^3$ = 8 under-counts the free elements — once x is fixed in, the OTHER 4 elements are each free, giving $2^4$, not $2^3.$
  4. How many 2-element subsets does a 6-element set have?
    1. 12
    2. 30
    3. 64
    4. 15
    Check your answer
    1. 12 — 6 times 2 = 12 has no basis here — a 2-element subset is a choice of pair, not a product of the set size and 2.
    2. 30 — 6 times 5 = 30 counts ORDERED pairs, where {1,2} and {2,1} are different — but a subset makes no distinction, so this double-counts every pair.
    3. 64 — $2^6$ = 64 is the total number of subsets of ALL sizes, not just the ones with exactly 2 elements.
    4. ✓ 15 — Unordered 2-element choices from 6: C(6,2) = (6 times 5)/(2) = 15.
  5. In a survey of three magazines A, B, C: 50 read A, 40 read B, 30 read C; 15 read A and B, 10 read B and C, 8 read A and C, and 5 read all three. How many read ONLY C?
    1. 12
    2. 17
    3. 22
    4. 30
    Check your answer
    1. 12 — 30-10-8 = 12 removes the two pairwise-with-C overlaps but also removes the 5 triple-overlap readers twice over — they need adding back once.
    2. ✓ 17 — ‘Only C’ = n(C) - n(B ∩ C) - n(A ∩ C) + n(A ∩ B ∩ C) = 30-10-8+5 = 17.
    3. 22 — 30-8 = 22 only removes readers who also read A, ignoring the group who also read B.
    4. 30 — 30 is every C reader, including everyone who also reads A or B — ‘only C’ must exclude them.
The board-style set earlier in this chapter is widest at the four operations; this bank is widest at counting and the power set. Two papers, two shapes — so revising for one by drilling the other’s proportions puts your hours in the wrong place.
Sorted by attack rather than by topic, and the two are independent: a union-formula item can be any of these five. The widest cell is not a hard calculation but a formula reached for too early, which is why the first move on every item here is to ask what the formula assumes.

↑ Back to top