1.1 Sets and Their Representations
A set is a well-defined collection of distinct objects. Describe it by listing its elements (roster form) or by a property they share (set-builder form): $\{1,2,3,4\}=\{x : x\in\mathbb{N},\ x\lt 5\}$.
The squad of an IPL team, the vowels of the English alphabet, the prime numbers, the solutions of $x^2-5x+6=0$, the points of a circle โ mathematics is full of collections. Very often what matters is not any single object but the whole collection: which numbers solve an equation, which inputs a function accepts, which outcomes of a dice throw count as "even". To talk about collections precisely we need a small, exact language, and that language is the theory of sets.
Sets were introduced in the 1870s by the German mathematician Georg Cantor, and within a few decades they had become the common language of every branch of mathematics. You will use them all through this course: the domain and range of a function (Chapter 2) are sets, the solution of an inequality (Chapter 5) is a set written as an interval, and in probability (Chapter 14) an event is simply a set of outcomes. In this section we learn what a set is, the two standard ways of writing one down, and how to recognise empty, finite, infinite and equal sets.
What Is a Set?
In everyday speech "a collection of good films" is a perfectly sensible phrase. In mathematics it is not acceptable, because two people can disagree about whether a particular film belongs to it. A mathematical collection must come with a rule that settles membership for every object, with no room for opinion.
A set is a well-defined collection of objects. Well-defined means that for any object whatever, we can decide definitely whether or not it belongs to the collection. The objects in a set are called its elements or members.
Sets are usually named by capital letters $A, B, X,\dots$ and elements by small letters. If $a$ is an element of $A$ we write $a\in A$ ("$a$ belongs to $A$"); if not, we write $a\notin A$ ("$a$ does not belong to $A$").
A few sets of numbers are used so often that they have permanent names. Learn these symbols now โ they appear on almost every page of this course.
| Symbol | Set | Elements |
|---|---|---|
| $\mathbb{N}$ | natural numbers | $1,2,3,4,\dots$ (in this course $0\notin\mathbb{N}$) |
| $\mathbb{Z}$ | integers | $\dots,-3,-2,-1,0,1,2,3,\dots$ |
| $\mathbb{Q}$ | rational numbers | numbers $\dfrac pq$ with $p,q\in\mathbb{Z}$, $q\ne0$, e.g. $-\tfrac34,\ 0.25,\ 7$ |
| $\mathbb{R}$ | real numbers | all points of the number line: rationals and irrationals such as $\sqrt2$, $\pi$ |
| $\mathbb{Z}^+,\ \mathbb{Q}^+,\ \mathbb{R}^+$ | positive integers, rationals, reals | the members of $\mathbb{Z},\ \mathbb{Q},\ \mathbb{R}$ that are greater than $0$ |
(b) Insert $\in$ or $\notin$: $\ 7\ \square\ \mathbb{N}$, $\ -2\ \square\ \mathbb{N}$, $\ \tfrac12\ \square\ \mathbb{Z}$, $\ \sqrt2\ \square\ \mathbb{Q}$, $\ 0\ \square\ \mathbb{Z}$.
Roster Form and Set-Builder Form
There are two standard ways to write a set down. We can simply list its elements, or we can state a property that its elements, and only its elements, possess.
Roster (tabular) form: all the elements are listed, separated by commas, inside braces $\{\ \}$. For example, the set of even natural numbers less than $10$ is $\{2,4,6,8\}$.
Set-builder form: the set is described by a property $P(x)$ shared by all its elements and by no other object: $$\{x : P(x)\},$$ read "the set of all $x$ such that $P(x)$". For example, $\{2,4,6,8\}=\{x : x\in\mathbb{N},\ x \text{ is even},\ x\lt10\}$. A vertical bar is sometimes used instead of the colon: $\{x\mid P(x)\}$.
1. Order does not matter. $\{1,2,3\}$, $\{3,1,2\}$ and $\{2,3,1\}$ are the same set.
2. Repetition does not count. An element is either in a set or not; listing it twice adds nothing. The letters of the word "SCHOOL" form the set $\{S,C,H,O,L\}$ โ write each element once.
3. Dots need a clear pattern. $\{1,3,5,7,\dots\}$ is acceptable because the pattern (odd natural numbers) is unmistakable; $\{1,3,\dots\}$ is not โ it could equally mean $1,3,9,27,\dots$ An ellipsis is also used for long finite lists, as in $\{1,2,3,\dots,100\}$.
- Set-builder โ roster. Identify the "home" set the variable runs over ($\mathbb{N}$, $\mathbb{Z}$, $\mathbb{R}$, lettersโฆ). Test the candidates one by one, or solve the condition (an equation, an inequality) and then keep only the solutions that lie in the home set.
- Pay attention to strict ($\lt$, $\gt$) versus non-strict ($\le$, $\ge$) inequalities at the end points.
- Roster โ set-builder. Look for the pattern: multiples, squares, divisors, a formula in $n$. Write the formula, say where $n$ comes from, and give its range.
- Check by regenerating the roster from your set-builder description.
The Empty Set, Finite and Infinite Sets
Consider $\{x : x\in\mathbb{N},\ 1\lt x\lt2\}$. There is no natural number strictly between $1$ and $2$, so this collection has no members at all. It is still perfectly well-defined โ every object is decided, and the answer is always "no".
A set is finite if it is empty or if its elements can be counted, the counting coming to an end. A set that is not finite is infinite.
For a finite set $A$, the number of distinct elements of $A$ is written $n(A)$ (it is also called the cardinal number of $A$). Thus $n(\{C,O,M,I,T,E\})=6$ and $n(\phi)=0$.
Every finite set can in principle be written in roster form. An infinite set can be written in roster form only when its elements follow a clear pattern, like $\mathbb{N}=\{1,2,3,\dots\}$ or $\{\dots,-6,-3,0,3,6,\dots\}$. Many infinite sets โ the real numbers between $0$ and $1$, the points on a line, the circles through a given point โ have no such list at all, and set-builder form is the only sensible description.
Equal Sets
When are two sets "the same"? Not when they are described in the same words, nor when they are listed in the same order, but when they have exactly the same members.
1. $\{0\}$ is not empty, and neither is $\{\phi\}$. $\{0\}$ has one element, the number $0$; $\{\phi\}$ has one element, the empty set. Only $\phi=\{\ \}$ has no elements. Never write $\{\phi\}$ when you mean $\phi$.
2. $0\notin\mathbb{N}$. In this course (as in the CBSE syllabus) the natural numbers start at $1$. Some computer languages and some other books start counting at $0$ โ read the definition in front of you.
3. Count distinct elements. $n(\{x : x \text{ is a letter of "BANANA"}\})=n(\{B,A,N\})=3$, not $6$.
4. Same number of elements does not mean equal. $\{1,2\}$ and $\{3,4\}$ both have two elements but share none; they are not equal.
Exercises
- 1 The vowels of the English alphabet.
- 2 The difficult chapters of the Class 11 mathematics syllabus.
- 3 The integers strictly between $-4$ and $4$.
- 4 The most beautiful cities of India.
- 5 With $A=\{1,3,5,7,9\}$: $\ 3\ \square\ A$, $\ 4\ \square\ A$, $\ 9\ \square\ A$.
- 6 $\sqrt2\ \square\ \mathbb{Q}$, $\ -7\ \square\ \mathbb{N}$, $\ 0.25\ \square\ \mathbb{Q}$, $\ \pi\ \square\ \mathbb{R}$.
- 7 $0\ \square\ \mathbb{N}$, $\ 0\ \square\ \mathbb{Z}$, $\ -\tfrac34\ \square\ \mathbb{Q}^+$, $\ 5\ \square\ \mathbb{Z}^+$.
- 8 With $P=\{x : x \text{ is a prime number}\}$: $\ 1\ \square\ P$, $\ 2\ \square\ P$, $\ 91\ \square\ P$, $\ 97\ \square\ P$.
- 1 $\{x : x\in\mathbb{Z},\ -2\lt x\le3\}$
- 2 $\{x : x \text{ is a prime number},\ x\lt20\}$
- 3 $\{x : x \text{ is a letter of the word "ALGEBRA"}\}$
- 4 $\{x : x\in\mathbb{R},\ x^2-7x+12=0\}$
- 5 $\{x : x\in\mathbb{N},\ x \text{ divides } 36\}$
- 6 $\{x : x=2n-1,\ n\in\mathbb{N},\ n\le6\}$
- 7 $\{x : x\in\mathbb{Z},\ x^2\le10\}$
- 8 $\left\{x : x=\dfrac{n}{n+2},\ n\in\mathbb{N},\ n\le3\right\}$
- 9 $\{x : x\in\mathbb{N},\ 3x+2\lt20\}$
- 1 $\{2,4,6,8,10\}$
- 2 $\{1,8,27,64,125\}$
- 3 $\{5,10,15,20,\dots\}$
- 4 $\{-4,-2,0,2,4\}$
- 5 $\left\{\tfrac12,\tfrac23,\tfrac34,\tfrac45,\tfrac56,\tfrac67\right\}$
- 6 $\left\{1,\tfrac12,\tfrac13,\tfrac14,\dots\right\}$
- 7 $\{11,13,17,19\}$
- 1 Is $\{x : x\in\mathbb{N},\ x\lt1\}$ empty?
- 2 Is $\{x : x\in\mathbb{R},\ x^2+1=0\}$ empty?
- 3 Is $\{x : x \text{ is an even prime number}\}$ empty? If not, find its number of elements.
- 4 Finite or infinite: $\{x : x\in\mathbb{N},\ x \text{ is a multiple of } 5\}$?
- 5 Finite or infinite: $\{x : x\in\mathbb{Z},\ -50\le x\le50\}$? If finite, find $n$.
- 6 Is $\{1,2,3\}=\{x : x\in\mathbb{N},\ x^2\lt12\}$?
- 7 Is the set of letters of "LISTEN" equal to the set of letters of "SILENT"?
- 8 Let $A=\{0\}$, $B=\phi$, $C=\{\phi\}$. Find $n(A)$, $n(B)$, $n(C)$. Are any two of them equal?
- 9 Payments. A tea stall records the amounts (in โน) of its UPI payments in one hour: $20,\ 45,\ 20,\ 300,\ 45,\ 80,\ 20$. Write the set $A$ of distinct amounts in roster form, find $n(A)$, and explain why $n(A)$ is not $7$.
- 10 Cricket. The runs scored off the six balls of an over were $1,4,0,6,1,1$. Write the set $R$ of different scores, find $n(R)$, and decide whether $2\in R$.
- 11 Show that $\{x : x=3n+2,\ n\in\mathbb{Z}\}=\{x : x=3n-1,\ n\in\mathbb{Z}\}$.
- 12 Challenge. Find $n(S)$, where $S=\left\{n\in\mathbb{Z} : \dfrac{n+5}{n+1}\in\mathbb{Z}\right\}$.
How this is examined: in the Board paper this section gives quick 1-mark MCQs and AssertionโReason items and 2-mark roster/set-builder conversions; JEE problems hide the set idea inside a counting or divisibility question, and the usual trap is counting repeated or excluded elements.
E1. Board ยท 1 mark Which of the following is the empty set? (A) $\{x : x\in\mathbb{N},\ 1\lt x\lt2\}$ (B) $\{x : x\in\mathbb{Z},\ x^2=4\}$ (C) $\{0\}$ (D) $\{x : x \text{ is an even prime}\}$
E2. Board ยท 2 marks (i) Write $\{x : x\in\mathbb{Z},\ x^2\lt20\}$ in roster form. (ii) Write $\{1,4,9,16,25,36\}$ in set-builder form.
E3. Board ยท 1 mark Assertion (A): The set of letters of the word "BANANA" has $3$ elements. Reason (R): In a set, the order in which the elements are listed matters. Choose: (A) both A and R are true and R is the correct explanation of A; (B) both are true but R is not the correct explanation of A; (C) A is true but R is false; (D) A is false but R is true.
E4. JEE Main Numerical value. Find the number of elements of $\{x\in\mathbb{N} : x^2+3x \text{ is a two-digit number}\}$.
E5. JEE Main Let $S=\left\{n\in\mathbb{Z} : \dfrac{2n+3}{n-1}\in\mathbb{Z}\right\}$. Then $n(S)$ equals (A) $2$ (B) $3$ (C) $4$ (D) infinitely many
E6. JEE Advanced One or more options correct. Let $A=\{x : x=4k+3,\ k\in\mathbb{Z}\}$, $B=\{x : x=4k-1,\ k\in\mathbb{Z}\}$, $C=\{x : x=2k+1,\ k\in\mathbb{Z}\}$. Which of the following are true? (A) $A=B$ (B) $A=C$ (C) $11\in B$ (D) $-5\in A$
Research question. How does a search filter on a shopping or train-booking app turn your choices into a set โ and when does it return the empty set?
Why it matters. Every filter ("price under โน500", "4 stars and above", "departs after 18:00") is a property $P(x)$, and the results page is the set $\{x : P(x)\}$ in roster form. Databases are built on exactly this idea; the query language SQL even writes it as SELECT โฆ WHERE condition. A results page that says "No items found" is showing you $\phi$.
What to do.
- Make a small "catalogue" in a spreadsheet: $15$ items (phones, books or trains) with three columns such as price, rating and brand. Real data from any app is fine.
- Write three filters in set-builder form, e.g. $A=\{x : \text{price}(x)\lt 15000\}$, $B=\{x : \text{rating}(x)\ge4.2\}$, and one combined filter.
- Use the spreadsheet's filter tool to list each set in roster form and record $n(A)$, $n(B)$.
- Find a filter combination that returns the empty set, and two differently worded filters that return equal sets.
Tools: Spreadsheet (filter or COUNTIF), or pen and paper with a printed list
Hand in: A one-page table of your filters in set-builder form, their roster forms and $n$-values, with one sentence explaining why two different descriptions gave the same set.
Going further. Combining filters with "and" and "or" is the intersection and union of sets โ Section 1.3. Predict the size of the "and" result from your table before you check it.
๐งช Self-check quiz
Q1. Which of the following is a set?
Q2. The set of letters of the word "ASSESS" in roster form is
Q3. $\{x : x\in\mathbb{N},\ x\lt1\}$ is
Q4. If $A=\{x : x\in\mathbb{Z},\ -2\le x\lt3\}$, then $n(A)$ is
Q5. Which pair of sets is equal?