Relations and Functions Class 12: Notes, Methods and Solved Questions
Updated 14 October 2026 · Fact-checked
Relations and Functions is Chapter 1 of CBSE Class 12 Maths. It covers types of relations (empty, universal, reflexive, symmetric, transitive and equivalence relations with equivalence classes) and types of functions (one-one, onto and bijective), with standard methods to prove or disprove each property for relations and functions on finite and infinite sets.
What Relations and Functions is about
In Class 11 you met a relation as a subset of a Cartesian product and a function as a special relation. This chapter sorts them into types. A relation R on a set A can be reflexive (every element is related to itself), symmetric (if a is related to b then b is related to a) and transitive (if a is related to b and b to c, then a is related to c). A relation with all three properties is an equivalence relation, and it splits the set into disjoint equivalence classes.
For functions, you learn to test whether a function is one-one (different inputs give different outputs), onto (every element of the codomain is an output) or both (bijective). The standard methods are short algebraic proofs: assume and show ; for onto, solve for x and check that x lies in the domain.
Composition of functions, invertible functions and binary operations are not in the 2026-27 syllabus. This chapter shares Unit I (8 marks) with Inverse Trigonometric Functions. In our question bank it appears in all eight board papers from 2023 to 2026, often as a 5-mark question on equivalence relations or bijectivity and as a 4-mark case study.
Weightage: This chapter is part of Unit I, Relations and Functions, which carries 8 of the 80 theory marks together with Inverse Trigonometric Functions.Source: CBSE Mathematics syllabus 2026-27, Unit I Relations and Functions
In real board papers: asked in 8 of the 8 board papers we hold (2023 to 2026), on average 5.1 marks per paper. See the questions
Key concepts
- Relations: empty, universal and the three basic properties
- NCERT section 1.2
A relation R from A to B is any subset of ; a relation on A is a subset of . We write or .
- Empty relation: no element is related to any element, .
- Universal relation: every element is related to every element, .
A relation R on A is
- reflexive if for every ;
- symmetric if for all ;
- transitive if and for all .
To prove a property, argue for general elements. To disprove it, one counterexample is enough. If no pair exists, the transitive condition is satisfied vacuously.
Worked example
Let A = {1, 2, 3} and R = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 3)}. Is R reflexive, symmetric, transitive? [2 marks]
Try it first, then show the solutionSolution
- Reflexive: (1, 1), (2, 2), (3, 3) are all in R, so yes.
- Symmetric: (1, 2) ∈ R but (2, 1) ∉ R, so no.
- Transitive: (1, 2) ∈ R and (2, 3) ∈ R but (1, 3) ∉ R, so no.
Answer: Reflexive, but neither symmetric nor transitive.
- Checking properties of relations on infinite sets
- NCERT section 1.2
For relations defined by a rule on sets such as N, Z or R, test each property with general elements:
- Reflexive: put b = a in the rule; check it holds for every a.
- Symmetric: assume the rule for (a, b); rewrite it to get the rule for (b, a).
- Transitive: assume the rule for (a, b) and (b, c); combine them to get the rule for (a, c).
When a property fails, give specific numbers. Watch for rules like or that fail for fractions or negative numbers even though they seem to hold for small integers.
Worked example
Check whether the relation on the set of real numbers is reflexive, symmetric or transitive. [3 marks]
Try it first, then show the solutionSolution
- Reflexive: for every real a, so : reflexive.
- Symmetric: since , but since : not symmetric.
- Transitive: () and (), but (): not transitive.
Answer: Reflexive only; not symmetric, not transitive.
- Equivalence relations and equivalence classes
- NCERT section 1.2
A relation that is reflexive, symmetric and transitive is an equivalence relation. It divides the set A into disjoint subsets called equivalence classes: the class of a is .
- Every element lies in exactly one class.
- Two elements are related if and only if they lie in the same class.
- Different classes have no common element, and together they make up A (a partition).
The standard example: on Z, is an equivalence relation with m classes, (numbers with the same remainder on division by m).
Worked example
Show that is an equivalence relation on Z. Write its equivalence classes. [5 marks]
Try it first, then show the solutionSolution
- Reflexive: , divisible by 4, so for all .
- Symmetric: if , then , divisible by 4, so .
- Transitive: if and , then , divisible by 4, so .
- Hence R is an equivalence relation.
- Classes: , , , .
Answer: R is an equivalence relation; its classes are the four remainder classes [0], [1], [2], [3].
- One-one (injective) functions
- NCERT section 1.3
A function is one-one (injective) if different elements of X have different images: . Otherwise it is many-one.
Method: take , simplify, and show . To disprove, find two different inputs with the same image.
Quick checks: a strictly increasing or strictly decreasing function is one-one. Functions such as , and on all of R are many-one, because or values repeat. On a graph, a function is one-one if every horizontal line meets the graph at most once. The domain matters: is many-one on R but one-one on N.
Worked example
Show that , is one-one, and that , is not. [2 marks]
Try it first, then show the solutionSolution
- : f is one-one.
- with : g is not one-one.
Answer: f is one-one; g is many-one.
- Onto (surjective) and bijective functions
- NCERT section 1.3
A function is onto (surjective) if every element of Y is the image of some element of X, i.e. the range equals the codomain.
Method: take any y in the codomain, solve for x, and check that this x belongs to the domain (and is defined). If some y has no pre-image, f is not onto (give that y).
A function that is both one-one and onto is bijective (a one-one correspondence).
For a function between finite sets with the same number of elements, one-one and onto are equivalent: a one-one function is automatically onto, and vice versa.
Worked example
Show that , is onto, and that , is not onto. [2 marks]
Try it first, then show the solutionSolution
- For any real y, gives , a real number, and : f is onto (so f is bijective).
- for all real x, so y = 0 (or any y < 1) has no pre-image: g is not onto.
Answer: f is onto (bijective); g is not onto.
- Bijectivity of rational functions
- NCERT section 1.3
Board questions often give a function such as from to and ask you to prove it is bijective.
One-one: set , cross-multiply, cancel the common terms and arrive at (needs ).
Onto: solve for . This is defined because . Also check that x is not the excluded value (setting it equal leads to a contradiction).
Worked example
Show that , is one-one and onto. [5 marks]
Try it first, then show the solutionSolution
- One-one:
- : one-one.
- Onto: let and . Then , defined since .
- Is ? If then , impossible. So and .
- Hence f is onto, and therefore bijective.
Answer: f is one-one and onto (bijective).
- Counting relations and functions on finite sets
- NCERT section 1.2 and 1.3
If A has m elements and B has n elements:
- Number of relations from A to B: ; relations on A: .
- Number of reflexive relations on A: (the m diagonal pairs are forced in).
- Number of functions from A to B: .
- Number of one-one functions from A to B (m ≤ n): ; none if m > n.
- Number of bijections from A to itself: .
Onto functions from A to B can exist only if m ≥ n.
Worked example
Let A = {1, 2, 3} and B = {a, b, c, d}. Find (a) the number of functions from A to B, (b) the number of one-one functions from A to B, (c) the number of reflexive relations on A. [2 marks]
Try it first, then show the solutionSolution
- (a)
- (b)
- (c)
Answer: (a) 64 (b) 24 (c) 64
Maths in real life: Relations and Functions
Each concept, met in an everyday situation. Read the situation, try the problem, then check the solution. The one-line hook is what to remember.
Equivalence relation
Suppose a school sorts its 40 students into houses, and we say two students are related if they belong to the same house.
Show that this relation is an equivalence relation and describe its equivalence classes.
Try it first, then show the solutionSolution
- Reflexive: every student is in the same house as themselves.
- Symmetric: if A is in the same house as B, then B is in the same house as A.
- Transitive: if A and B share a house, and B and C share a house, then A and C share that house.
- Each equivalence class is the set of students in one house; the classes do not overlap and together they include all 40 students.
Answer: It is an equivalence relation; the classes are the houses.
Memory hook: Equivalence classes are like houses: everyone belongs to exactly one.
Bijective function
Imagine a cinema hall where each ticket number from 1 to 120 corresponds to exactly one seat, and every seat has exactly one ticket number.
Suppose f assigns each ticket number to a seat. Is f one-one, onto, both? What would change if two tickets were printed for the same seat?
Try it first, then show the solutionSolution
- Different tickets go to different seats, so f is one-one.
- Every seat has a ticket, so f is onto.
- So f is bijective. If two tickets named the same seat, f would no longer be one-one, and with 120 tickets one seat would then be left without a ticket, so it would not be onto either.
Answer: Bijective; a duplicate seat would make it neither one-one nor onto.
Memory hook: One ticket, one seat, no empty seat: that is a bijection.
Non-transitive relation
Suppose in a group of friends we say 'a is related to b' if a and b have at least one common friend in the group.
Give a reason why this relation need not be transitive.
Try it first, then show the solutionSolution
- Let A and B share a friend P, and B and C share a friend Q.
- A and C need not have any common friend at all.
- So (A, B) ∈ R and (B, C) ∈ R do not force (A, C) ∈ R.
Answer: Common friends do not chain: A and C may share no friend, so the relation is not transitive.
Memory hook: Transitive means the link passes along the chain; common friends do not.
Topics in this chapter
Relations and Functions formula sheet
- Reflexive
- Symmetric
- Transitive
- Equivalence class
- One-one
- Onto
- Number of relations
- Number of reflexive relations on A
- Number of functions
- Number of one-one functions
- Bijections from A to A
How the board asks Relations and Functions
The question patterns to expect, and the method that works for each.
| Question type | How it is asked | Method |
|---|---|---|
| Check properties of a relation | A relation on a finite set listed as pairs, or on N, Z or R defined by a rule; decide reflexive, symmetric, transitive. | Test each property separately: general proof if true, one numerical counterexample if false. |
| Prove an equivalence relation | Typically 5 marks: show R (divisibility, equal sums, ad = bc on pairs, parallel lines) is an equivalence relation and find a class. | Write three labelled parts (reflexive, symmetric, transitive) with general elements; then list the requested class. |
| One-one and onto | Linear, cubic, quadratic, modulus or rational functions with a stated domain and codomain. | One-one via ; onto by solving for x and checking it lies in the domain. Give a counterexample when it fails. |
| Counting | 1-mark MCQs on the number of relations, reflexive relations, functions or one-one functions. | Use , , and . |
| Case studies | A real situation (players and teams, railway lines, traffic signals) defines a relation or a function; parts ask for properties, classes or bijectivity. | Translate the story into a set and a rule, then apply the same tests. |
Tricks to remember Relations and Functions
Short memory aids. Say each one aloud once, then use it on a question the same day.
RST = Equivalence
Reflexive, Symmetric, Transitive: all three together make an equivalence relation.
Use it when: Recalling the definition.
Prove generally, disprove with one example
To prove a property use letters; to disprove it, one counterexample with numbers is enough.
Use it when: Every relation and function check.
Onto = solve for x and check
Solve for x; then check two things: x exists (no division by zero) and x is in the domain.
Use it when: Onto proofs.
Squares and modulus are two-faced
, and even functions give the same output for x and −x, so they are not one-one on R.
Use it when: Fast counterexamples.
2 to the power of the pairs
Relations on A: ; reflexive ones: drop the m diagonal pairs from the exponent, .
Use it when: Counting MCQs.
Relations and Functions: board-level solved questions
Ordered from board level to HOTS. Cover the solution, write your own, then compare step by step.
Example 1: Counting reflexive relations · 1 mark · MCQBoard level
The number of reflexive relations on a set A = {a, b, c} is:
(a) 8
(b) 64
(c) 512
(d) 6
Try it first, then show the solutionSolution
Answer: (b) 64
Example 2: A function on integers · 1 mark · Assertion-reasonBoard level
Assertion (A): The function , is one-one but not onto.
Reason (R): Every even integer has no pre-image under f.
(a) Both true, R explains A. (b) Both true, R does not explain A. (c) A true, R false. (d) A false, R true.
Try it first, then show the solutionSolution
- : one-one.
- 2x + 1 is always odd, so no even integer is an image: not onto. R is true and explains A.
Answer: (a)
Example 3: Relation on a finite set · 2 marks · Very short answerHarder board level
On A = {1, 2, 3, 4, 5, 6}, the relation is . Check whether R is reflexive, symmetric or transitive. [2 marks]
Try it first, then show the solutionSolution
- R = {(1, 2), (2, 3), (3, 4), (4, 5), (5, 6)}.
- Not reflexive: (1, 1) ∉ R. Not symmetric: (1, 2) ∈ R but (2, 1) ∉ R.
- Not transitive: (1, 2), (2, 3) ∈ R but (1, 3) ∉ R.
Answer: Neither reflexive, symmetric nor transitive.
Example 4: Relation defined by a square · 3 marks · Short answerHarder board level
Check whether the relation on the set of integers is (a) reflexive, (b) symmetric, (c) transitive. [3 marks]
Try it first, then show the solutionSolution
- (a) for every integer a: reflexive.
- (b) : symmetric.
- (c) () and (), but since : not transitive.
Answer: Reflexive and symmetric, but not transitive (so not an equivalence relation).
Example 5: Equivalence relation on pairs · 5 marks · Long answerHarder board level
Let A = {1, 2, 3, …, 8} and let R be the relation on defined by if . Prove that R is an equivalence relation and find the equivalence class [(1, 4)]. [5 marks]
Try it first, then show the solutionSolution
- Reflexive: for any (a, b), so (a, b) R (a, b).
- Symmetric: if , then , which is exactly the condition for (c, d) R (a, b).
- Transitive: if and , adding gives , so , i.e. (a, b) R (e, f). Hence R is an equivalence relation.
- [(1, 4)] = {(x, y) ∈ A × A : } = {(x, y) : }, i.e. .
- Factor pairs of 15 with y + x > y − x > 0: 1 × 15 gives y = 8, x = 7; 3 × 5 gives y = 4, x = 1. Both lie in A.
Answer: R is an equivalence relation; [(1, 4)] = {(1, 4), (7, 8)}.
Example 6: Bijective rational function · 3 marks · Short answerHarder board level
Show that given by is a bijection. [3 marks]
Try it first, then show the solutionSolution
- One-one: gives , so and .
- Onto: , defined for .
- would need , i.e. , impossible; so x is in the domain and f(x) = y. Hence f is bijective.
Answer: f is one-one and onto.
Example 7: Modulus-type function · 3 marks · Short answerHOTS / competency
Show that , is one-one and onto. [3 marks]
Try it first, then show the solutionSolution
- Write f piecewise: for and for . So f(x) has the same sign as x.
- One-one: if , then and have the same sign (or are both 0). If both ≥ 0, ; if both < 0, (both negative).
- Onto: for take ; for take . Then f(x) = y in each case.
Answer: f is bijective.
Example 8: Smallest relations with given properties · 3 marks · Short answerHOTS / competency
Let A = {1, 2, 3}. Write the smallest relation on A that contains (1, 2) and (2, 3) and is (a) reflexive and transitive but not symmetric, (b) an equivalence relation. [3 marks]
Try it first, then show the solutionSolution
- (a) Add the diagonal (1, 1), (2, 2), (3, 3) for reflexivity, and (1, 3) for transitivity: R = {(1, 1), (2, 2), (3, 3), (1, 2), (2, 3), (1, 3)}. (2, 1) is missing, so it is not symmetric.
- (b) Also add (2, 1), (3, 2), (3, 1) for symmetry. Now every element is related to every other: R = A × A, the universal relation.
- Check (b) is transitive: A × A contains every pair, so yes.
Answer: (a) {(1,1), (2,2), (3,3), (1,2), (2,3), (1,3)} (b) A × A
Case-study practice (Section E style)
Read the situation, then answer every part. In the board paper this is a 4-mark question split into 1 + 1 + 2 marks.
Teams at a sports meet
Suppose at a school sports meet, 4 students A = {p, q, r, s} are each to be given a different jersey from a set B of 4 jerseys numbered 1 to 4, and a relation is also defined on A: two students are related if they are in the same house. p and q are in Red House, and r and s are in Blue House.
(i) · 1 mark
How many different ways can the jerseys be assigned so that no two students share a jersey?
Answer
Answer: 24
Bijections from a 4-element set to a 4-element set: 4! = 24.
(ii) · 1 mark
Write the 'same house' relation as a set of ordered pairs.
Answer
Answer: {(p, p), (q, q), (r, r), (s, s), (p, q), (q, p), (r, s), (s, r)}
Each student is related to themselves and to their housemate.
(iii) · 2 marks
Show that the 'same house' relation is an equivalence relation and write its equivalence classes.
Answer
Answer: Equivalence relation; classes {p, q} and {r, s}.
Reflexive (all (x, x) present), symmetric ((p, q) and (q, p), (r, s) and (s, r)), transitive (any chain stays inside one house). Classes: [p] = {p, q}, [r] = {r, s}.
Codes for lockers
Suppose a gym assigns locker codes using the rule for member number n, where n is a natural number, and the codes are taken from the set of natural numbers.
(i) · 1 mark
Is f one-one?
Answer
Answer: Yes
.
(ii) · 1 mark
Is f onto N? Give a reason.
Answer
Answer: No
f(n) ≥ 5 and is always 2 more than a multiple of 3, so a code such as 1 or 6 is never used.
(iii) · 2 marks
If instead f were defined from R to R by f(x) = 3x + 2, show it is bijective.
Answer
Answer: Bijective
One-one as before. Onto: for any real y, is real and f(x) = y.
Where the marks are
How a typical answer is split into step marks. Show every step: a right final answer alone rarely earns full marks.
Check whether , is one-one and onto. [2 marks] (2 marks)
| Step | Marks |
|---|---|
| : one-one | 1 |
| For any real y, is real and : onto | 1 |
Check whether the relation on R is reflexive, symmetric or transitive. [3 marks] (3 marks)
| Step | Marks |
|---|---|
| Reflexive: for all real a | 1 |
| Symmetric: , so | 1 |
| Not transitive: but , so | 1 |
Show that the relation R on defined by is an equivalence relation. Find the class of (2, 5). [5 marks] (5 marks)
| Step | Marks |
|---|---|
| Reflexive: , so | 1 |
| Symmetric: , so | 1 |
| Transitive: and ; adding: | 1 |
| Conclusion: R is an equivalence relation | 1 |
| Class of (2, 5): pairs (x, y) with , i.e. : | 1 |
Where students lose marks in Relations and Functions
The slips examiners see most often, and what to write instead.
Mistake: Checking reflexivity on only a few elements
Testing (1, 1) and (2, 2) and stopping.
Do this: Reflexive needs for every element of A; write it for a general a (or check every element of a finite set).
Usually costs: 1 mark.
Mistake: Giving a general argument where a property fails
Not looking for a counterexample.
Do this: If a property is false, show one specific pair (with numbers) that breaks it.
Usually costs: 1-2 marks.
Mistake: Proving onto without checking that x is in the domain
Stopping after solving for x.
Wrong working
, : , so onto
Right working
For y = 3, , so f is not onto
Do this: Always check the solved x belongs to the domain.
Usually costs: Full marks for onto.
Mistake: Ignoring the excluded value in a rational function
Forgetting the codomain restriction.
Do this: For , show the solved x is defined (y ≠ a/c) and is not the excluded point.
Usually costs: 1 mark.
Mistake: Writing about composition or inverse functions
Old syllabi included them.
Do this: Composition of functions and invertible functions are not in the 2026-27 syllabus.
Usually costs: Time.
NCERT exercise guide: Relations and Functions
What each exercise in the NCERT chapter tests, how to approach it, and a question of the same kind solved step by step. Questions here are written in our own words.
Exercise 1.1 (types of relations)
What it tests: Checking reflexive, symmetric and transitive properties of relations on finite and infinite sets; proving equivalence relations; finding equivalence classes; counting relations with given properties.
How to approach it: Test each property separately; use counterexamples for failures; for equivalence, write three labelled proofs.
Same kind as Exercise 1.1 questions on lines and triangles
Let L be the set of all lines in a plane, and R = {(l₁, l₂) : l₁ is parallel to l₂} (taking every line as parallel to itself). Show that R is an equivalence relation and describe the class of the line y = 2x + 1.
Show the solutionSolution
- Reflexive: every line is parallel to itself.
- Symmetric: if l₁ ∥ l₂ then l₂ ∥ l₁.
- Transitive: if l₁ ∥ l₂ and l₂ ∥ l₃ then l₁ ∥ l₃.
- The class of y = 2x + 1 is the set of all lines y = 2x + c, c ∈ R (all lines of slope 2).
Answer: Equivalence relation; class = all lines with slope 2
Exercise 1.2 (types of functions)
What it tests: Proving functions one-one, onto or bijective (and disproving), including modulus, greatest integer and piecewise functions, and functions between finite sets.
How to approach it: One-one: ; onto: solve for x and check the domain; counterexamples for failures.
Same kind as Exercise 1.2 on the greatest integer function
Show that the greatest integer function , is neither one-one nor onto.
Show the solutionSolution
- with : not one-one.
- The range is Z, so a value such as 0.5 in the codomain R has no pre-image: not onto.
Answer: Neither one-one nor onto
Relations and Functions: previous year questions
- Asked in 8 of the 8 board papers we hold (2023 to 2026), on average 5.1 marks per paper; 19 questions in all, counting OR alternatives. In 4 of 4 sample papers.
Counted from the real papers on our previous year papers page, not estimated. Average marks are over every board paper we hold, with an OR pair counted once. Chapter tags are ours.
Solved board questions from Relations and Functions
Real questions from recent papers. Try each one first, then open our step-by-step solution with marks per step.
2026, set 65/1/1, Q32(a) · 5 marks · Long answer
A relation R is defined on Z, the set of integers, as
is divisible by a prime number 'p',
check whether R is an equivalence relation or not.
Try it first, then show our solutionSolution
- 1½ marks
Reflexive: For any , , which is divisible by (). So and R is reflexive.
- 1½ marks
Symmetric: Let , so is divisible by . Since , is divisible by , so . R is symmetric.
- 1½ marks
Transitive: Let . Then and for some integers . Adding, , so is divisible by and . R is transitive.
- ½ mark
Since R is reflexive, symmetric and transitive, R is an equivalence relation.
Answer: R is an equivalence relation
Where the marks are
- Proves reflexivity using (1½ marks)
- Proves symmetry using (1½ marks)
- Proves transitivity by adding and (1½ marks)
- Concludes equivalence relation (½ mark)
2026, set 65/5/1, Q19 · 1 mark · Assertion-reasonCompetency-based
Assertion (A) : A relation R on the set {1, 2, 3} defined as R = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3)} is an equivalence relation.
Reason (R) : A relation that is reflexive, symmetric and transitive is an equivalence relation.
- (A)Both Assertion (A) and Reason (R) are true and Reason (R) is the correct explanation of the Assertion (A).
- (B)Both Assertion (A) and Reason (R) are true, but Reason (R) is not the correct explanation of the Assertion (A).
- (C)Assertion (A) is true, but Reason (R) is false.
- (D)Assertion (A) is false, but Reason (R) is true.
Try it first, then show our solutionSolution
- ½ mark
R contains (1,1),(2,2),(3,3): reflexive; (1,2),(2,1) both present: symmetric; all compositions stay in R: transitive. So A true.
- ½ mark
R is the definition of equivalence relation and explains A. Option (A).
Answer: Option (A)
Where the marks are
- Checks R reflexive, symmetric, transitive (½ mark)
- Recognises R explains A (½ mark)
2026, set 65/5/1, Q36 · 4 marks · Case-basedCompetency-based
A school wants the students of class XII to do a project on 'Sustainability' keeping the world environment in mind. They select the student participants on the basis of an essay writing competition.
7 students out of 80 are selected for the project and are categorized into two sets such that :
Girl students belong to Set A = {G, G, G, G},
Boy students belong to Set B = {B, B, B}.
Based on the above information, answer the following questions :
- (i)1 mark
How many relations are possible from Set A Set B ?
- (ii)1 mark
Let R be a relation from A B such that R = {(G, B), (G, B), (G, B), (G, B), (G, B)}. Is R an injective function ? Justify your answer.
- (iii)(a)2 marks
Let the relation R from A A be such that R = {(x, y), x, y A, x and y are students from the same colony in the city}. Verify if R is an equivalence relation.
OR
(iii)(b)2 marksVerify if any function f : B A is bijective. Give reason to support your answer.
Try it first, then show our solutionSolution
- 1 mark
(i) . Every subset of is a relation from A to B, so the number of relations is .
- ½ mark
(ii) No, R is not an injective function.
- ½ mark
(ii) R is not even a function, because is related to two images, and .
- ½ mark
(iii)(a) Reflexive: every student x lives in the same colony as himself or herself, so for all .
- ½ mark
(iii)(a) Symmetric: if , then x and y live in the same colony. So y and x live in the same colony, and .
- ½ mark
(iii)(a) Transitive: if and , then x, y live in the same colony and y, z live in the same colony. So x and z live in the same colony, and .
- ½ mark
(iii)(a) R is reflexive, symmetric and transitive, hence R is an equivalence relation.
- 1 mark
(iii)(b) No function is bijective.
- 1 mark
(iii)(b) Reason: . The range of f has at most 3 elements, so at least one girl in A has no pre-image. Thus f cannot be onto, and so it cannot be bijective.
Answer: (i) ; (ii) No, R is not a function ( has two images), so not injective; (iii)(a) R is an equivalence relation; (iii)(b) No is bijective, since so f cannot be onto
Where the marks are
- (i) Number of relations (1 mark)
- (ii) States R is not injective (½ mark)
- (ii) Justifies that R is not a function since has two images (½ mark)
- (iii)(a) Proves R is reflexive (½ mark)
- (iii)(a) Proves R is symmetric (½ mark)
- (iii)(a) Proves R is transitive (½ mark)
- (iii)(a) Concludes R is an equivalence relation (½ mark)
- (iii)(b) States no function from B to A is bijective (1 mark)
- (iii)(b) Reason: , so f cannot be onto (1 mark)
Every Relations and Functions question, by year
- For 2027
Sample paper 2026-27: Q32(A) (5 marks, solved), Q32(B) (5 marks, solved)
- 2026
Set 65/1/1: Q32(a) (5 marks, solved), Q32(b) (5 marks, solved)
Set 65/5/1: Q19 (1 mark, solved), Q36 (4 marks, solved)
Sample paper 2025-26: Q36 (4 marks, solved)
- 2025
Set 65/1/1: Q19 (1 mark, solved), Q37 (4 marks, solved)
Set 65/7/1: Q21 (2 marks, solved), Q26(a) (3 marks, solved), Q26(b) (3 marks, solved)
Sample paper 2024-25: Q20 (1 mark, solved), Q37 (4 marks, solved)
- 2024
Set 65/1/1: Q1 (1 mark, solved), Q26(a) (3 marks, solved), Q26(b) (3 marks, solved)
Set 65/5/1: Q1 (1 mark, solved), Q36(a) (4 marks, solved), Q36(b) (4 marks, solved)
Sample paper 2023-24: Q20 (1 mark, solved), Q33(a) (5 marks, solved), Q33(b) (5 marks, solved)
- 2023
Set 65/1/1: Q21(a) (2 marks, solved), Q32 (5 marks, solved)
Set 65/5/1: Q1 (1 mark, solved), Q36 (4 marks, solved)
Practice questions on Relations and Functions
Write each answer on paper first. Open the hint only if you are stuck, and the answer only when you have finished.
Q1 · 1 mark · MCQBoard level
The number of relations on a set with 2 elements is:
(a) 4
(b) 8
(c) 16
(d) 2Hint
.
Answer
(c) 16
Q2 · 1 mark · MCQBoard level
Which of these functions from R to R is one-one?
(a)
(b)
(c)
(d)Hint
Look for a strictly increasing function.
Answer
(c)
Q3 · 1 mark · Very short answerBoard level
Let A = {1, 2, 3} and R = {(1, 2), (2, 1)}. Is R symmetric? Is it transitive?
Hint
For transitivity check (1, 2), (2, 1).
Answer
Symmetric: yes. Transitive: no, since (1, 2), (2, 1) ∈ R but (1, 1) ∉ R.
Q4 · 1 mark · Assertion-reasonHarder board level
Assertion (A): The relation R = {(1, 1), (2, 2), (3, 3)} on A = {1, 2, 3} is an equivalence relation.
Reason (R): The identity relation on any set is reflexive, symmetric and transitive.
(a) Both true, R explains A. (b) Both true, R does not explain A. (c) A true, R false. (d) A false, R true.Hint
R is the identity relation on A.
Answer
(a)
Q5 · 2 marks · Very short answerHarder board level
Show that , is one-one but not onto.
Hint
Odd numbers.
Answer
: one-one. 3 ∈ N has no pre-image (x would be 1.5): not onto.
Q6 · 2 marks · Very short answerHarder board level
Check whether , is one-one and onto.
Hint
Complete the square.
Answer
. : not one-one. , so 0 has no pre-image: not onto.
Q7 · 3 marks · Short answerHarder board level
Show that the relation R on Z given by is an equivalence relation. Write the class [2].
Hint
Reflexive, symmetric, transitive.
Answer
Reflexive: 5 | 0. Symmetric: 5 | (a − b) ⇒ 5 | (b − a). Transitive: 5 | (a − b) and 5 | (b − c) ⇒ 5 | (a − c). [2] = {…, −8, −3, 2, 7, 12, …}.
Q8 · 3 marks · Short answerHarder board level
Show that defined by is a bijection.
Hint
Cube root.
Answer
One-one: . Onto: is real for every real y and f(x) = y.
Q9 · 5 marks · Long answerHarder board level
Let R be the relation on the set of real numbers defined by . Show that R is reflexive and symmetric but not transitive.
Hint
Try a = 1, b = −1/2, c = −4.
Answer
Reflexive: . Symmetric: . Not transitive: since ; since ; but since .
Q10 · 2 marks · Very short answerHOTS / competency
Find the number of one-one functions and the number of onto functions from A = {1, 2, 3} to B = {x, y}. Explain.
Hint
Compare the sizes.
Answer
One-one: 0, since 3 elements cannot map to 2 distinct images. Onto: total functions , minus the 2 constant functions = 6.
Q11 · 3 marks · Short answerHOTS / competency
Show that , is one-one. Is it onto R? If not, find its range.
Hint
f is increasing on its domain.
Answer
One-one: . Not onto R: for example y = 1 would need . Since f is increasing (), its range is .
Q12 · 2 marks · Very short answerHarder board level
Give an example of a relation on A = {1, 2, 3} that is (a) symmetric and transitive but not reflexive, (b) reflexive and symmetric but not transitive.
Hint
Leave out one diagonal pair for (a).
Answer
(a) {(1, 1), (1, 2), (2, 1), (2, 2)} (misses (3, 3)). (b) {(1, 1), (2, 2), (3, 3), (1, 2), (2, 1), (2, 3), (3, 2)} ((1, 2), (2, 3) present but (1, 3) missing).
Test your recall
Answer in your head or on paper first, then open the card. Pulling an answer out of memory makes it stick far better than re-reading.
1.Define an equivalence relation.Show answer
A relation that is reflexive, symmetric and transitive.
2.When is a function one-one?Show answer
When implies .
3.When is a function onto?Show answer
When every element of the codomain has a pre-image (range = codomain).
4.Number of relations on a set with 3 elements?Show answer
.
5.Number of reflexive relations on a set with 2 elements?Show answer
.
6.Is , one-one? Onto?Show answer
One-one (x > 0); not onto (2 has no pre-image).
7.How many bijections are there from {1, 2, 3, 4} to itself?Show answer
4! = 24.
8.Write the equivalence class [1] for 'a − b divisible by 3' on Z.Show answer
{…, −5, −2, 1, 4, 7, …}.
Best order to study it
- Revise relations as subsets of Cartesian products; learn empty and universal relations.
- Learn the definitions of reflexive, symmetric and transitive relations and practise on finite sets.
- Practise checking properties on N, Z and R, with counterexamples.
- Prove standard equivalence relations and write equivalence classes.
- Learn one-one, onto and bijective functions with the standard proofs and counterexamples.
- Finish with rational-function bijectivity proofs, counting results and case studies.
Quick revision checklist
The night before the exam: can you do each of these without looking?
- Can you state reflexive, symmetric and transitive in symbols?
- Can you check all three properties for a relation given as a list of pairs?
- Can you disprove a property with a counterexample on R?
- Can you prove that 'a − b divisible by m' is an equivalence relation and list its classes?
- Can you prove that a relation on pairs such as (a, b)R(c, d) ⇔ a + d = b + c is an equivalence relation?
- Can you show a linear or cubic function on R is one-one and onto?
- Can you show a quadratic or modulus function on R is not one-one and not onto?
- Can you prove a rational function between restricted sets is bijective?
- Can you count relations, reflexive relations, functions and one-one functions?
- Can you explain why one-one and onto are equivalent for functions between finite sets of the same size?
Relations and Functions: frequently asked questions
Are composition of functions and invertible functions in the 2026-27 syllabus?
No. NCERT section 1.4 (composition of functions and invertible functions) and binary operations are not in the 2026-27 syllabus. Only types of relations and one-one/onto functions are.
How much is this chapter worth?
Unit I (Relations and Functions with Inverse Trigonometric Functions) carries 8 of the 80 marks.
What is the most common board question here?
In our question bank, proving a relation is an equivalence relation (often with an equivalence class) and proving a function bijective are the most frequent, as 3- and 5-mark questions and case studies.
Can a relation be symmetric and transitive but not reflexive?
Yes. On A = {1, 2, 3}, R = {(1, 1), (1, 2), (2, 1), (2, 2)} is symmetric and transitive but not reflexive, because (3, 3) is missing.
Is the empty relation transitive?
Yes. There are no pairs (a, b) and (b, c) in it, so the condition is never broken (it holds vacuously). It is also symmetric, but it is not reflexive on a non-empty set.
Does the codomain affect whether a function is onto?
Yes. f(x) = x^2 is not onto from R to R, but it is onto from R to [0, \infty). Always read the codomain.
Based on: CBSE Mathematics (041) syllabus 2026-27; NCERT Mathematics Part I, Textbook for Class XII, Chapter 1 (Reprint 2026-27)