By the end of this chapter you'll be able to…

  • 1Classify relations as reflexive, symmetric, transitive, and equivalence
  • 2Find equivalence classes and partitions
  • 3Identify one-one, onto, and bijective functions
  • 4Compose functions and find inverses of bijective functions
  • 5Test binary operations for commutativity, associativity, identity, and inverse
💡
Why this chapter matters
Relations and functions provide the language of all higher mathematics. Equivalence relations, types of functions, composition, invertibility, and binary operations underpin calculus, algebra, and the precise way mathematics maps one set to another.

Before you start — revise these

A 5-minute refresher here will save you 30 minutes of confusion below.

Relations and Functions

'A function is a machine: you give it an input, it gives you exactly one output.'

1. Chapter Overview

This chapter formalises the mathematical notion of RELATIONS and FUNCTIONS. A relation R from set A to set B is a subset of A × B. A function f: A → B is a relation where each element of A has a UNIQUE image in B. The focus: TYPES of relations (reflexive, symmetric, transitive, equivalence), TYPES of functions (one-one, onto, bijective), COMPOSITION of functions, INVERTIBLE functions, and BINARY operations.


2. Types of Relations

2.1 Empty and Universal Relations

  • Empty relation: No element of A is related to any element of A. R = ∅.
  • Universal relation: EVERY element of A is related to EVERY element of A. R = A × A.

2.2 Key Properties of Relations on a Set A

PropertyDefinitionExample on A = {1, 2, 3}
Reflexive(a, a) ∈ R for ALL a ∈ AR = {(1,1), (2,2), (3,3), (1,2)}
Symmetric(a, b) ∈ R ⇒ (b, a) ∈ RR = {(1,2), (2,1)}
Transitive(a, b) ∈ R AND (b, c) ∈ R ⇒ (a, c) ∈ RR = {(1,2), (2,3), (1,3)}
EquivalenceReflexive + Symmetric + TransitiveR = {(1,1), (2,2), (3,3), (1,2), (2,1)}

2.3 Equivalence Class

  • If R is an equivalence relation on A, the EQUIVALENCE CLASS of an element a is [a] = {x ∈ A : (x, a) ∈ R}.
  • Equivalence classes PARTITION the set A — they are DISJOINT and their union is A.

3. Types of Functions

TypeDefinitionConditionExample
One-One (Injective)Different inputs → Different outputsf(x₁) = f(x₂) ⇒ x₁ = x₂f(x) = 2x on R
Many-OneTwo different inputs give the SAME outputf(x₁) = f(x₂) for x₁ ≠ x₂f(x) = x² on R
Onto (Surjective)EVERY element of co-domain has a PRE-IMAGERange = Co-domainf(x) = x³ on R
IntoRange is a PROPER SUBSET of co-domainNOT every element has a pre-imagef(x) = x² on R → R
BijectiveOne-One AND OntoBoth conditions holdf(x) = 2x + 3 on R

4. Composition of Functions

  • (g ∘ f)(x) = g(f(x)). 'Apply f first, then g.'
  • Condition: Co-domain of f must be a SUBSET of domain of g.
  • Properties: Composition is ASSOCIATIVE: (h ∘ g) ∘ f = h ∘ (g ∘ f). Composition may NOT be commutative.

5. Invertible Functions

  • A function f: A → B is INVERTIBLE if there exists g: B → A such that g ∘ f = Iₐ and f ∘ g = I_B.
  • THEOREM: f is invertible IF AND ONLY IF f is BIJECTIVE (one-one AND onto).
  • Notation: The inverse of f is denoted f⁻¹.

Worked Example 1

Problem: Show that f: R → R defined by f(x) = 3x + 5 is invertible. Find f⁻¹. Solution:

  • One-one: f(x₁) = f(x₂) ⇒ 3x₁ + 5 = 3x₂ + 5 ⇒ x₁ = x₂ ✓
  • Onto: For ANY y ∈ R, we need x such that f(x) = y. Solve: y = 3x + 5 ⇒ x = (y − 5)/3. This x ∈ R. ✓
  • Therefore f is BIJECTIVE ⇒ INVERTIBLE.
  • f⁻¹(y) = (y − 5)/3.

6. Binary Operations

  • A binary operation ∗ on a set A is a function ∗: A × A → A.
  • 'It takes TWO elements from A and gives ONE element from A.'
PropertyDefinition
Commutativea ∗ b = b ∗ a for all a, b
Associative(a ∗ b) ∗ c = a ∗ (b ∗ c) for all a, b, c
Identity element ea ∗ e = e ∗ a = a for all a
Inverse of aa ∗ b = b ∗ a = e

7. Common Mistakes

  1. Confusing range and co-domain: Range is a SUBSET of co-domain. Onto means range = co-domain.
  2. Assuming composition is commutative: (g ∘ f) ≠ (f ∘ g) in general.
  3. Forgetting that a bijection is BOTH one-one AND onto: One without the other is NOT invertible.
  4. Equivalence relations must satisfy ALL THREE properties: Reflexive, symmetric, and transitive — if ANY one is missing, it is NOT an equivalence relation.

8. CBSE Exam Focus

  1. Equivalence relations — verifying all three properties, finding equivalence classes
  2. Proving a function is one-one and/or onto
  3. Composition of functions — (g ∘ f)(x) and (f ∘ g)(x)
  4. Invertible functions — proving bijectivity, finding the inverse
  5. Binary operations — checking commutativity, associativity, finding identity and inverse

9. Self-Test

Q1: Check whether the relation R on set A = {1, 2, 3, 4} defined as R = {(1,1), (2,2), (3,3), (4,4), (1,2), (2,1)} is an equivalence relation. A1: Reflexive ✓ (all (a,a) present). Symmetric ✓ (for every (a,b), (b,a) is present). Transitive: (1,2) and (2,1) ∈ R ⇒ (1,1) ∈ R ✓. (2,1) and (1,2) ∈ R ⇒ (2,2) ∈ R ✓. No violations. YES, it is an equivalence relation.

Q2: Prove that f: R → R defined by f(x) = 4x + 7 is invertible. Find f⁻¹. A2: One-one: f(x₁)=f(x₂) ⇒ 4x₁+7=4x₂+7 ⇒ x₁=x₂. Onto: For y ∈ R, x=(y−7)/4. f(x)=y. Bijective. f⁻¹(y)=(y−7)/4.

Q3: Let f: R → R and g: R → R be defined by f(x) = x² and g(x) = 2x + 1. Find (g ∘ f)(x) and (f ∘ g)(x). Are they equal? A3: (g ∘ f)(x) = g(f(x)) = g(x²) = 2x² + 1. (f ∘ g)(x) = f(g(x)) = f(2x+1) = (2x+1)² = 4x² + 4x + 1. NOT equal. 'Composition is NOT commutative.'

Q4: Consider the binary operation ∗ on R defined by a ∗ b = a + b + ab. Is ∗ commutative? Is it associative? Find the identity element. A4: Commutative: a ∗ b = a + b + ab = b + a + ba = b ∗ a ✓. Associative: (a ∗ b) ∗ c = (a+b+ab) ∗ c = a+b+ab+c+(a+b+ab)c = a+b+c+ab+ac+bc+abc. Similarly a ∗ (b ∗ c) gives the same ✓. Identity: a ∗ e = a + e + ae = a ⇒ e + ae = 0 ⇒ e(1+a) = 0. This must hold for ALL a, so e = 0. a ∗ 0 = a ✓.

Q5: Show that the function f: R − {−2} → R − {4} defined by f(x) = (4x+3)/(x+2) is bijective. A5: One-one: f(x₁)=f(x₂) ⇒ cross-multiply ⇒ 4x₁x₂+8x₁+3x₂+6 = 4x₁x₂+3x₁+8x₂+6 ⇒ 8x₁+3x₂ = 3x₁+8x₂ ⇒ 5x₁ = 5x₂ ⇒ x₁=x₂. Onto: Let y = (4x+3)/(x+2) ⇒ yx+2y = 4x+3 ⇒ x(y−4) = 3−2y ⇒ x = (3−2y)/(y−4). Since y ≠ 4, x ∈ R − {−2}. Bijective ✓.


10. Conclusion

Relations and functions provide the LANGUAGE of mathematics:

  • RELATIONS link elements of sets. Equivalence relations PARTITION a set.
  • FUNCTIONS are special relations — each input has exactly one output.
  • BIJECTIVE functions are invertible — 'perfect pairing between domain and co-domain.'
  • BINARY OPERATIONS combine two elements to produce a third.

'Relations connect, functions map, and binary operations combine — together they form the grammar of mathematical discourse.'

Key formulas & results

Everything you need to memorise, in one card. Screenshot this for revision.

Equivalence relation
Reflexive + symmetric + transitive
Equivalence classes partition the set into disjoint subsets.
Bijection test
One-one: f(x1)=f(x2) => x1=x2; Onto: range = co-domain
A function is invertible iff it is bijective.
Composition
(g o f)(x) = g(f(x))
Associative but generally not commutative.
⚠️

Common mistakes & fixes

These are the exact errors that cost students marks in board exams. Read them once, save yourself the trouble.

WATCH OUT
Confusing range with co-domain
Range is a subset of the co-domain; a function is onto only when the range equals the co-domain.
WATCH OUT
Assuming composition is commutative
In general (g o f) is not equal to (f o g).
WATCH OUT
Thinking one-one alone makes a function invertible
A function must be both one-one and onto (bijective) to be invertible.
WATCH OUT
Skipping a property when checking equivalence
An equivalence relation must be reflexive, symmetric, and transitive; missing any one disqualifies it.

Practice problems

Try each one yourself before tapping "Show solution". Active recall > rereading.

Q1MEDIUM· Equivalence
Check whether R = {(1,1),(2,2),(3,3),(4,4),(1,2),(2,1)} on A = {1,2,3,4} is an equivalence relation.
Show solution
Reflexive: all (a,a) present. Symmetric: (1,2) and (2,1) both present. Transitive: (1,2) and (2,1) give (1,1), (2,1) and (1,2) give (2,2); no violations. So R is an equivalence relation.
Q2MEDIUM· Inverse
Prove f: R -> R, f(x) = 4x + 7 is invertible and find f inverse.
Show solution
One-one: 4x1+7 = 4x2+7 gives x1 = x2. Onto: for any y, x = (y-7)/4 is in R with f(x)=y. So f is bijective and f inverse (y) = (y-7)/4.
Q3MEDIUM· Composition
If f(x) = x^2 and g(x) = 2x+1, find (g o f)(x) and (f o g)(x). Are they equal?
Show solution
(g o f)(x) = 2x^2 + 1. (f o g)(x) = (2x+1)^2 = 4x^2 + 4x + 1. They are not equal, showing composition is not commutative.
Q4HARD· Binary Operation
For a * b = a + b + ab on R, check commutativity and associativity and find the identity.
Show solution
Commutative: a+b+ab = b+a+ba. Associative: both (a*b)*c and a*(b*c) give a+b+c+ab+bc+ca+abc. Identity e satisfies a + e + ae = a, so e(1+a) = 0 for all a, giving e = 0.
Q5HARD· Bijection
Show f: R-{-2} -> R-{4}, f(x) = (4x+3)/(x+2) is bijective.
Show solution
One-one: cross-multiplying f(x1)=f(x2) reduces to 5x1 = 5x2, so x1 = x2. Onto: solving y = (4x+3)/(x+2) gives x = (3-2y)/(y-4), defined for y not equal to 4, so every such y has a pre-image. Hence bijective.

5-minute revision

The whole chapter, distilled. Read this the night before the exam.

  • Relation R from A to B is a subset of A x B; function maps each input to a unique output.
  • Equivalence relation = reflexive + symmetric + transitive; classes partition the set.
  • One-one (injective), onto (surjective), bijective (both).
  • f is invertible iff it is bijective.
  • (g o f)(x) = g(f(x)); composition is associative, not commutative.
  • Binary operation: A x A -> A; check commutative, associative, identity, inverse.
  • Range is a subset of co-domain; onto means they are equal.

CBSE marks blueprint

Where the marks come from in this chapter — so you can plan your prep.

Typical chapter weightage: 5-7 marks across the chapter

Question typeMarks eachTypical countWhat it tests
Equivalence relation31Verifying properties and classes
Functions / inverse3-41Bijectivity and finding inverses
Binary operations2-31Commutativity, associativity, identity
Prep strategy
  • Practise verifying all three relation properties
  • Master one-one and onto proofs
  • Compute compositions and inverses
  • Check binary-operation properties systematically

Where this shows up in the real world

This chapter isn't just an exam topic — it lives in the world around you.

Computer science

Functions and relations model data mappings, hashing, and database keys.

Cryptography

Bijective (invertible) functions are the basis of reversible encryption schemes.

Classification

Equivalence relations formalise grouping objects into categories, like remainders modulo n.

Exam strategy

Battle-tested tips from teachers and toppers for this chapter.

  1. Check each relation property explicitly with examples
  2. Prove one-one and onto separately for bijection
  3. Find inverses by solving y = f(x) for x
  4. Test binary operations property by property

Going beyond the textbook

For olympiad aspirants and curious learners — topics that build on this chapter.

  • Count the number of equivalence relations on a finite set (Bell numbers).
  • Explore group structure arising from binary operations with identity and inverses.

Where else this chapter is tested

CBSE board isn't the only one — other exams test this chapter too.

CBSE Class 12 Mathematics examMedium
JEE Main (Relations and Functions)Medium

Questions students ask

The real ones — pulled from the Q&A community and tutor sessions.

An inverse function must reverse the original mapping, sending each output back to a unique input. If the function is not one-one, two inputs share an output, so the inverse would not know which input to return -- it would not be well defined. If the function is not onto, some elements of the co-domain have no pre-image, so the inverse would be undefined for them. Only a bijection pairs every element of the domain with exactly one element of the co-domain and vice versa, allowing a consistent inverse.

When R is an equivalence relation on a set A, each element belongs to its equivalence class -- the set of all elements related to it. Because R is reflexive every element is in its own class, and because R is symmetric and transitive, any two classes are either identical or completely disjoint. Together the classes cover all of A without overlap, so they split (partition) A into non-overlapping subsets, each grouping elements that are equivalent under R.
Verified by the tuition.in editorial team
Last reviewed on 30 May 2026. Written and reviewed by subject-matter experts — read about our process.
Editorial process →
Header Logo