Class 12 Maths, Worked in Full Past papersGet updates
Chapter 1 · Relations and Functions · Go for it

Relations and functions, the quick way

Three tests for a relation, two tests for a function. Learn eight recipes and you can answer most questions in this chapter.

Start here

The chapter in one minute

What relations and functions are, and what the exam asks.

A relation says which pairs of elements are linked, like "has the same remainder as". You test a relation for three properties: reflexive, symmetric and transitive.

A function sends each input to exactly one output. You test a function for two properties: one-one and onto.

To show that a property holds, it must work for every element: check them all in a small list, or argue with letters for a big set. To show that it fails, one example with numbers is enough.

Most exam questions on this chapter are one of eight kinds, and each kind has a fixed recipe. You will learn all eight below.

Composition and inverse functions (Section 1.4 of the book) are not in the CBSE syllabus for 2025-26 or 2026-27, so they are not examined and this page leaves them out.

8question types
9cards to learn
3tests for an equivalence relation
1example with numbers is enough to say no
Definitions

The definitions you must know

Learn these cards. Every question in the chapter is a test of one of them.

Reflexive
(a,a)∈Rfor every a∈A\begin{aligned} &(a, a) \in R \\ &\text{for every } a \in A \end{aligned}

Every element is related to itself.

Symmetric
(a,b)∈R⇒(b,a)∈R\begin{aligned} &(a, b) \in R \\ &\Rightarrow (b, a) \in R \end{aligned}

Every pair comes with its reverse.

Transitive
(a,b),(b,c)∈R⇒(a,c)∈R\begin{aligned} &(a, b), (b, c) \in R \\ &\Rightarrow (a, c) \in R \end{aligned}

Every chain from aa to bb to cc needs the short cut from aa to cc⁠.

Equivalence relation
reflexive+symmetric+transitive\begin{aligned} &\text{reflexive} \\ &+ \text{symmetric} \\ &+ \text{transitive} \end{aligned}

All three at once. Missing one means it is not an equivalence relation.

Equivalence class
[a]={b∈A:(b,a)∈R}\begin{aligned} [a] = \{&b \in A : \\ &(b, a) \in R\} \end{aligned}

All the elements related to aa⁠. For an equivalence relation, the classes split AA into groups that do not overlap.

One-one (injective)
f(x1)=f(x2)⇒x1=x2\begin{aligned} &f(x_1) = f(x_2) \\ &\Rightarrow x_1 = x_2 \end{aligned}

Different inputs always give different outputs.

Onto (surjective)
for every y∈Y,f(x)=y for some x∈X\begin{aligned} &\text{for every } y \in Y, \\ &f(x) = y \text{ for some } x \in X \end{aligned}

Every element of the codomain YY is an output: range = codomain.

Bijective
one-one+onto\text{one-one} + \text{onto}

Prove the two tests one after the other, then write "so ff is bijective".

Counting one-one maps
n!=n(n−1)⋯2⋅1n! = n(n - 1)\cdots 2\cdot 1

The number of one-one maps from a set of nn elements to itself. They are also the onto maps. For example, 3!=63! = 6⁠.

Question types

The question types and how to crack each one

For each type: how to spot it, what to do, and one real NCERT question worked the exam way.

1. A relation given as a list of pairs: check each property

Spot it: RR is written out pair by pair, on a small set like {1,2,3}\{1, 2, 3\}⁠.

  1. Reflexive: is (a,a)(a, a) in RR for every element aa of the set? One missing pair means no.
  2. Symmetric: for each pair in RR⁠, is its reverse in RR too?
  3. Transitive: for each chain (a,b),(b,c)(a, b), (b, c) in RR⁠, is (a,c)(a, c) in RR⁠? Here cc may be the same as aa⁠.

Exercise 1.1 Q6. Show that R={(1,2),(2,1)}R = \{(1, 2), (2, 1)\} in the set {1,2,3}\{1, 2, 3\} is symmetric but neither reflexive nor transitive.

Symmetric: (1,2),(2,1)∈R(1, 2), (2, 1) \in R⁠, and each is the reverse of the other. Thus RR is symmetric.

Reflexive: 11 is in the set, but (1,1)∉R(1, 1) \notin R⁠. Thus RR is not reflexive.

Transitive: (1,2),(2,1)∈R(1, 2), (2, 1) \in R⁠, but (1,1)∉R(1, 1) \notin R⁠. Thus RR is not transitive.

∴ RR is symmetric but neither reflexive nor transitive.

In past papers (4): click to see

2. A relation given by a rule: letters to prove, numbers to disprove

Spot it: RR is given by a condition, such as a≤ba \le b on R\R⁠, and the set is too big to list every pair.

  1. To show a property holds, start from any element (or any pair in RR⁠) and use the rule.
  2. To show a property fails, give one pair of numbers where it breaks, and show the arithmetic.
  3. End each part with "Thus RR is …" or "Thus RR is not …".

Exercise 1.1 Q4. Show that R={(a,b):a≤b}R = \{(a, b) : a \le b\} in R\R is reflexive and transitive but not symmetric.

Reflexive: a≤aa \le a for every aa⁠, so (a,a)∈R(a, a) \in R⁠. Thus RR is reflexive.

Transitive: a≤ba \le b and b≤cb \le c give a≤ca \le c⁠, so (a,c)∈R(a, c) \in R⁠. Thus RR is transitive.

Symmetric: (1,2)∈R(1, 2) \in R⁠, as 1≤21 \le 2⁠, but (2,1)∉R(2, 1) \notin R⁠, as 2>12 > 1⁠. Thus RR is not symmetric.

∴ RR is reflexive and transitive but not symmetric.

In past papers (3): click to see

3. Show that a relation is an equivalence relation

Spot it: the words "is an equivalence relation", often with "2 divides a−ba - b" or "∣a−b∣|a - b| is even".

  1. Reflexive: show (a,a)∈R(a, a) \in R for any aa⁠.
  2. Symmetric: suppose (a,b)∈R(a, b) \in R⁠, and show (b,a)∈R(b, a) \in R⁠.
  3. Transitive: suppose (a,b),(b,c)∈R(a, b), (b, c) \in R⁠, and show (a,c)∈R(a, c) \in R⁠. With differences, use a−c=(a−b)+(b−c)a - c = (a - b) + (b - c)⁠.
  4. Finish with "Hence RR is an equivalence relation".

Example 5. In Z\Z⁠, (a,b)∈R(a, b) \in R when 2 divides a−ba - b⁠. Show that RR is an equivalence relation.

Reflexive: a−a=0=2×0a - a = 0 = 2 \times 0⁠, so (a,a)∈R(a, a) \in R⁠. Thus RR is reflexive.

Symmetric: if a−b=2ka - b = 2k⁠, with k∈Zk \in \Z⁠, then b−a=2(−k)b - a = 2(-k)⁠, so (b,a)∈R(b, a) \in R⁠. Thus RR is symmetric.

Transitive: if a−b=2ka - b = 2k and b−c=2mb - c = 2m⁠, with k,m∈Zk, m \in \Z⁠, then

a−c=(a−b)+(b−c)=2(k+m)\begin{aligned} a - c &= (a - b) + (b - c) \\ &= 2(k + m) \end{aligned}

so (a,c)∈R(a, c) \in R⁠. Thus RR is transitive.

∴ RR is an equivalence relation.

In past papers (5): click to see

4. Equivalence classes: everything related to one element

Spot it: "find the set of all elements related to 1", or "show that the elements of {1,3,5}\{1, 3, 5\} are related to each other".

  1. Write the rule with the given element in it, for example "∣1−b∣|1 - b| is a multiple of 4".
  2. Find every bb in the set that fits. Throw out values that are not in the set.
  3. Write the answer as a set.

Exercise 1.1 Q9. In A={0,1,…,12}A = \{0, 1, \dots, 12\}⁠, (a,b)∈R(a, b) \in R when ∣a−b∣|a - b| is a multiple of 4. Find the set of all elements related to 1. (Part (i).)

For b∈Ab \in A⁠, ∣1−b∣≤11|1 - b| \le 11⁠. So ∣1−b∣=0,4 or 8|1 - b| = 0, 4 \text{ or } 8⁠.

This gives b=1,5,9b = 1, 5, 9⁠. The other values, −3-3 and −7-7⁠, are not in AA⁠.

∴ The set of elements related to 1 is {1,5,9}\{1, 5, 9\}⁠.

In past papers (2): click to see

5. Prove one-one and onto: the bijective function

Spot it: "show that ff is one-one and onto", or "is ff bijective?", with a formula like f(x)=3−4xf(x) = 3 - 4x⁠.

  1. One-one: start from f(x1)=f(x2)f(x_1) = f(x_2) and simplify until you reach x1=x2x_1 = x_2⁠.
  2. Onto: take any yy in the codomain and solve f(x)=yf(x) = y for xx⁠. Check this xx is in the domain.
  3. Put your xx back in and show that f(x)=yf(x) = y⁠.

Exercise 1.2 Q7. Is f:R→Rf : \R \to \R⁠, f(x)=3−4xf(x) = 3 - 4x⁠, one-one, onto or bijective? (Part (i).)

f(x1)=f(x2)⇒3−4x1=3−4x2⇒x1=x2\begin{aligned} f(x_1) &= f(x_2) \\ \Rightarrow 3 - 4x_1 &= 3 - 4x_2 \\ \Rightarrow x_1 &= x_2 \end{aligned}

So ff is one-one. For y∈Ry \in \R⁠, take x=3−y4∈Rx = \frac{3 - y}{4} \in \R⁠. Then

f(x)=3−(3−y)=y\begin{aligned} f(x) &= 3 - (3 - y) \\ &= y \end{aligned}

∴ ff is one-one and onto, so it is bijective.

In past papers (7): click to see

6. Not one-one or not onto: one example is enough

Spot it: functions such as x2x^2⁠, ∣x∣|x| or [x][x] on R\R⁠, where two inputs share an output, or some numbers are never reached.

  1. Not one-one: find two different inputs with the same output, such as f(−1)=f(1)f(-1) = f(1)⁠.
  2. Not onto: find one number in the codomain that is never an output, and say why.

Exercise 1.2 Q4. Show that f:R→Rf : \R \to \R⁠, f(x)=∣x∣f(x) = |x|⁠, is neither one-one nor onto.

f(−1)=1=f(1)f(-1) = 1 = f(1)⁠, but −1≠1-1 \ne 1⁠. So ff is not one-one.

∣x∣≥0|x| \ge 0 for every xx⁠, so −1-1 is not an output. So ff is not onto.

∴ ff is neither one-one nor onto.

In past papers (3): click to see

7. A fraction function with a point left out

Spot it: a fraction such as f(x)=x−2x−3f(x) = \frac{x - 2}{x - 3}⁠, with one number taken out of the domain and one out of the codomain.

  1. One-one: write f(x1)=f(x2)f(x_1) = f(x_2)⁠, cross-multiply, expand and cancel. You reach x1=x2x_1 = x_2⁠.
  2. Onto: put f(x)=yf(x) = y and make xx the subject.
  3. Check that this xx is allowed, that is, it is not the number left out.

Exercise 1.2 Q10. Is f:R−{3}→R−{1}f : \R - \{3\} \to \R - \{1\}⁠, f(x)=x−2x−3f(x) = \frac{x - 2}{x - 3}⁠, one-one and onto?

One-one: cross-multiply f(x1)=f(x2)f(x_1) = f(x_2)⁠.

(x1−2)(x2−3)=(x2−2)(x1−3)⇒ −3x1−2x2=−2x1−3x2⇒ x1=x2\begin{aligned} &(x_1 - 2)(x_2 - 3) \\ &= (x_2 - 2)(x_1 - 3) \\ \Rightarrow\ &-3x_1 - 2x_2 \\ &= -2x_1 - 3x_2 \\ \Rightarrow\ &x_1 = x_2 \end{aligned}

So ff is one-one. Onto: for y≠1y \ne 1⁠, solve f(x)=yf(x) = y⁠.

x−2=y(x−3)⇒x=3y−2y−1\begin{aligned} x - 2 &= y(x - 3) \\ \Rightarrow x &= \frac{3y - 2}{y - 1} \end{aligned}

This xx is never 3, because x=3x = 3 would need 3y−2=3y−33y - 2 = 3y - 3⁠. So xx is in the domain, f(x)=yf(x) = y⁠, and ff is onto.

∴ Yes, ff is one-one and onto.

In past papers (1): click to see

8. Counting questions: list the possibilities

Spot it: "the number of relations (or functions) …" on a small set like {1,2,3}\{1, 2, 3\}⁠, usually an MCQ.

  1. Start with the smallest relation: the pairs you are given, plus every pair the properties force.
  2. Try adding each remaining pair, and see what else it forces.
  3. Count the relations that work. For one-one maps of a set of nn elements to itself, the count is n!n!⁠.

Miscellaneous Q7 (MCQ). Let A={1,2,3}A = \{1, 2, 3\}⁠. The number of equivalence relations containing (1,2)(1, 2) is (A) 1 (B) 2 (C) 3 (D) 4.

The smallest one is

S1={(1,1),(2,2),(3,3),(1,2),(2,1)}\begin{aligned} S_1 = \{&(1, 1), (2, 2), \\ &(3, 3), (1, 2), \\ &(2, 1)\} \end{aligned}

Adding any other pair, such as (2,3)(2, 3)⁠, forces all the rest (by symmetry, then transitivity), which gives A×AA \times A⁠. So there are 2: S1S_1 and A×AA \times A⁠.

∴ Answer: (B) 2

In past papers (2): click to see
Shortcuts

Shortcuts and quick tips

Small habits that save time and marks.

  • Test reflexive first. One missing pair (a,a)(a, a) settles it in one line.
  • For an equivalence relation on a small set, write out the classes. Every element must be in exactly one class: a quick check on your answer.
  • If RR has no chain (a,b),(b,c)(a, b), (b, c) at all, then RR is transitive, because nothing can fail.
  • A rule of the form "same something" (same remainder, same number of pages, same distance from the origin) always gives an equivalence relation.
  • With "2 divides a−ba - b", write a−b=2ka - b = 2k and work with kk⁠.
  • From a finite set to itself, one-one and onto go together. Prove one and you have both.
  • Onto depends on the codomain: f(x)=2xf(x) = 2x is onto from R\R to R\R⁠, but not from N\N to N\N⁠.
  • Squares and modulus on R\R⁠: f(−1)=f(1)f(-1) = f(1) breaks one-one, and a negative number breaks onto.
  • In an MCQ on a list of pairs, test reflexive, symmetric and transitive in turn, and cross out options as you go.
Watch out

Mistakes that cost marks

Each one is common, and each has an easy fix.

  • Showing that a property holds with a few numbers → use letters a,b,ca, b, c⁠. Numbers are only for showing that it fails.
  • Saying "not symmetric" with no pair → name the pair: (1,2)∈R(1, 2) \in R but (2,1)∉R(2, 1) \notin R⁠.
  • Missing chains that come back to the start → (1,2),(2,1)(1, 2), (2, 1) needs (1,1)(1, 1)⁠.
  • Checking reflexive only for elements that appear in RR → check every element of the set, even one that is in no pair.
  • Testing onto against R\R when the codomain is different → every element of the given codomain must be an output.
  • Solving f(x)=yf(x) = y and stopping → check that the xx you found is in the domain.
Marks

How the examiner gives marks

From CBSE's own marking schemes. Write these lines and the marks follow.

  • "Show that RR is an equivalence relation" (5 marks in the 2026-27 sample paper): reflexive, symmetric and transitive earn 1½ marks each, and the line "Hence RR is an equivalence relation" earns ½.
  • Each property needs a proof with letters, ending in words: "Thus RR is symmetric".
  • Not one-one: give a clear pair, like f(−1)=f(1)f(-1) = f(1)⁠. Not onto: name a number in the codomain that is not in the range. In that paper each of these earned 1½ marks.
  • Write the conclusion in words, such as "so ff is one-one" or "so ff is not onto". Conclusions carry marks.
  • An MCQ or assertion-reason question earns 1 mark for the right option only. Working earns nothing there, so keep it short.
  • A slip is penalised only once, so keep going. Any correct method gets full marks.
Practice

Practise these first

Easiest first. Together they cover every type above.

  1. Exercise 1.1 Q15 (MCQ) a list of pairs: test each property
  2. Exercise 1.2 Q12 (MCQ) a straight-line function that is bijective
  3. Exercise 1.2 Q11 (MCQ) a fourth power: neither one-one nor onto
  4. Exercise 1.1 Q3 write the pairs out, then test them
  5. Exercise 1.1 Q2 a rule that fails all three tests: three counterexamples
  6. Exercise 1.1 Q8 an equivalence relation with even differences
  7. Exercise 1.1 Q14 parallel lines, and the lines related to one line
  8. Exercise 1.2 Q2 squares and cubes on different sets
  9. Exercise 1.2 Q1 one over x, with a point left out
  10. Miscellaneous Q6 (MCQ) counting relations
  11. Miscellaneous Q1 a harder fraction function that is bijective
Next

You can do this

Eight recipes, one at a time. Work through the practice list, prove with letters and disprove with numbers, and you are ready for the exam.

Past papers

18 CBSE board and sample-paper questions on Relations and Functions, each with a full-marks exam answer. Practise them →