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.
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.
The definitions you must know
Learn these cards. Every question in the chapter is a test of one of them.
Every element is related to itself.
Every pair comes with its reverse.
Every chain from to to needs the short cut from to .
All three at once. Missing one means it is not an equivalence relation.
All the elements related to . For an equivalence relation, the classes split into groups that do not overlap.
Different inputs always give different outputs.
Every element of the codomain is an output: range = codomain.
Prove the two tests one after the other, then write "so is bijective".
The number of one-one maps from a set of elements to itself. They are also the onto maps. For example, .
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: is written out pair by pair, on a small set like .
- Reflexive: is in for every element of the set? One missing pair means no.
- Symmetric: for each pair in , is its reverse in too?
- Transitive: for each chain in , is in ? Here may be the same as .
Exercise 1.1 Q6. Show that in the set is symmetric but neither reflexive nor transitive.
Symmetric: , and each is the reverse of the other. Thus is symmetric.
Reflexive: is in the set, but . Thus is not reflexive.
Transitive: , but . Thus is not transitive.
∴ is symmetric but neither reflexive nor transitive.
See a full exam answer · Go deeper: see it visually · Basics: reflexive, symmetric, transitive
In past papers (4): click to see
2. A relation given by a rule: letters to prove, numbers to disprove
Spot it: is given by a condition, such as on , and the set is too big to list every pair.
- To show a property holds, start from any element (or any pair in ) and use the rule.
- To show a property fails, give one pair of numbers where it breaks, and show the arithmetic.
- End each part with "Thus is …" or "Thus is not …".
Exercise 1.1 Q4. Show that in is reflexive and transitive but not symmetric.
Reflexive: for every , so . Thus is reflexive.
Transitive: and give , so . Thus is transitive.
Symmetric: , as , but , as . Thus is not symmetric.
∴ is reflexive and transitive but not symmetric.
See a full exam answer · Go deeper: see it visually · Basics: how to prove and disprove
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 " or " is even".
- Reflexive: show for any .
- Symmetric: suppose , and show .
- Transitive: suppose , and show . With differences, use .
- Finish with "Hence is an equivalence relation".
Example 5. In , when 2 divides . Show that is an equivalence relation.
Reflexive: , so . Thus is reflexive.
Symmetric: if , with , then , so . Thus is symmetric.
Transitive: if and , with , then
so . Thus is transitive.
∴ is an equivalence relation.
See a full exam answer · Go deeper: see it visually · Basics: even, odd and remainders
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 are related to each other".
- Write the rule with the given element in it, for example " is a multiple of 4".
- Find every in the set that fits. Throw out values that are not in the set.
- Write the answer as a set.
Exercise 1.1 Q9. In , when is a multiple of 4. Find the set of all elements related to 1. (Part (i).)
For , . So .
This gives . The other values, and , are not in .
∴ The set of elements related to 1 is .
See a full exam answer · Go deeper: see it visually · Basics: equivalence classes
In past papers (2): click to see
5. Prove one-one and onto: the bijective function
Spot it: "show that is one-one and onto", or "is bijective?", with a formula like .
- One-one: start from and simplify until you reach .
- Onto: take any in the codomain and solve for . Check this is in the domain.
- Put your back in and show that .
Exercise 1.2 Q7. Is , , one-one, onto or bijective? (Part (i).)
So is one-one. For , take . Then
∴ is one-one and onto, so it is bijective.
See a full exam answer · Go deeper: see it visually · Basics: one-one and onto
In past papers (7): click to see
6. Not one-one or not onto: one example is enough
Spot it: functions such as , or on , where two inputs share an output, or some numbers are never reached.
- Not one-one: find two different inputs with the same output, such as .
- Not onto: find one number in the codomain that is never an output, and say why.
Exercise 1.2 Q4. Show that , , is neither one-one nor onto.
, but . So is not one-one.
for every , so is not an output. So is not onto.
∴ is neither one-one nor onto.
See a full exam answer · Go deeper: see it visually · Basics: one-one and onto
In past papers (3): click to see
7. A fraction function with a point left out
Spot it: a fraction such as , with one number taken out of the domain and one out of the codomain.
- One-one: write , cross-multiply, expand and cancel. You reach .
- Onto: put and make the subject.
- Check that this is allowed, that is, it is not the number left out.
Exercise 1.2 Q10. Is , , one-one and onto?
One-one: cross-multiply .
So is one-one. Onto: for , solve .
This is never 3, because would need . So is in the domain, , and is onto.
∴ Yes, is one-one and onto.
See a full exam answer · Go deeper: see it visually · Basics: what a function is
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 , usually an MCQ.
- Start with the smallest relation: the pairs you are given, plus every pair the properties force.
- Try adding each remaining pair, and see what else it forces.
- Count the relations that work. For one-one maps of a set of elements to itself, the count is .
Miscellaneous Q7 (MCQ). Let . The number of equivalence relations containing is (A) 1 (B) 2 (C) 3 (D) 4.
The smallest one is
Adding any other pair, such as , forces all the rest (by symmetry, then transitivity), which gives . So there are 2: and .
∴ Answer: (B) 2
See a full exam answer · Go deeper: see it visually · Basics: counting choices
In past papers (2): click to see
Shortcuts and quick tips
Small habits that save time and marks.
- Test reflexive first. One missing pair 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 has no chain at all, then 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 ", write and work with .
- From a finite set to itself, one-one and onto go together. Prove one and you have both.
- Onto depends on the codomain: is onto from to , but not from to .
- Squares and modulus on : 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.
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 . Numbers are only for showing that it fails.
- Saying "not symmetric" with no pair → name the pair: but .
- Missing chains that come back to the start → needs .
- Checking reflexive only for elements that appear in → check every element of the set, even one that is in no pair.
- Testing onto against when the codomain is different → every element of the given codomain must be an output.
- Solving and stopping → check that the you found is in the domain.
How the examiner gives marks
From CBSE's own marking schemes. Write these lines and the marks follow.
- "Show that is an equivalence relation" (5 marks in the 2026-27 sample paper): reflexive, symmetric and transitive earn 1½ marks each, and the line "Hence is an equivalence relation" earns ½.
- Each property needs a proof with letters, ending in words: "Thus is symmetric".
- Not one-one: give a clear pair, like . 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 is one-one" or "so 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.
Practise these first
Easiest first. Together they cover every type above.
- Exercise 1.1 Q15 (MCQ) a list of pairs: test each property
- Exercise 1.2 Q12 (MCQ) a straight-line function that is bijective
- Exercise 1.2 Q11 (MCQ) a fourth power: neither one-one nor onto
- Exercise 1.1 Q3 write the pairs out, then test them
- Exercise 1.1 Q2 a rule that fails all three tests: three counterexamples
- Exercise 1.1 Q8 an equivalence relation with even differences
- Exercise 1.1 Q14 parallel lines, and the lines related to one line
- Exercise 1.2 Q2 squares and cubes on different sets
- Exercise 1.2 Q1 one over x, with a point left out
- Miscellaneous Q6 (MCQ) counting relations
- Miscellaneous Q1 a harder fraction function that is bijective
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.
18 CBSE board and sample-paper questions on Relations and Functions, each with a full-marks exam answer. Practise them →