Skip to content
Worked Examples · Example 2

Q.Let TT be the set of all triangles in a plane with RR a relation in TT given by R={(T1,T2):T1 is congruent to T2}R = \{(T_1, T_2): T_1 \text{ is congruent to } T_2\}. Show that RR is an equivalence relation.

CBSENCERTSubjective· 3mImportance★★★★★
17% · 18/104 Questions
✓ Free question

Concept understanding — Equivalence Relation Proof

Proving a Relation is an Equivalence Relation

A relation RR on a set AA is an equivalence relation when it satisfies exactly three properties: it is reflexive, symmetric, and transitive. To prove a given relation is an equivalence relation, you check these three — in this order — one at a time.

Note

Antisymmetry plays no role here; that property belongs to partial orders. For an equivalence relation you need only reflexive, symmetric, transitive.

The three checks

  1. Reflexive — show (a,a)∈R(a, a) \in R for every a∈Aa \in A.
  2. Symmetric — assume (a,b)∈R(a, b) \in R and deduce (b,a)∈R(b, a) \in R.
  3. Transitive — assume (a,b)∈R(a, b) \in R and (b,c)∈R(b, c) \in R, and deduce (a,c)∈R(a, c) \in R.

If all three hold, RR is an equivalence relation. If even one fails, produce a single counterexample and you are done.

A worked template

Let RR be defined on Z\mathbb{Z} by a R b  ⟺  a−ba\,R\,b \iff a - b is divisible by 55.

Reflexive: a−a=0a - a = 0, and 00 is divisible by 55, so a R aa\,R\,a for every integer aa. ✓

Symmetric: if a R ba\,R\,b, then a−b=5ka - b = 5k for some integer kk. Then b−a=−5k=5(−k)b - a = -5k = 5(-k), also a multiple of 55, so b R ab\,R\,a. ✓

Transitive: if a R ba\,R\,b and b R cb\,R\,c, then a−b=5ka - b = 5k and b−c=5mb - c = 5m. Adding, a−c=5(k+m)a - c = 5(k + m), a multiple of 55, so a R ca\,R\,c. ✓

All three hold, so RR is an equivalence relation.

Tip

Once a relation is proved to be an equivalence relation, it splits AA into disjoint equivalence classes — here, the five classes of integers grouped by their remainder on division by 55.

Watch out

Reflexivity must hold for every element, not just some. A relation that pairs many elements correctly but misses even one self-pair is not reflexive, and so not an equivalence relation.

Searches like "how to prove a relation is an equivalence relation" and "equivalence relation class 12 maths examples" are common around exam time, reflecting how central this proof technique is to the NCERT/CBSE Class 12 Relations and Functions chapter. Mastering this three-step check (reflexive, symmetric, transitive) also pays off directly in JEE Main and state CET set-theory questions.

Unlock everything free for 14 days

  • Full step-by-step solutions
  • Concept-first explanations
  • Methods, shortcuts & mistakes
  • PYQ mapping + timed mock tests

Full access for 14 days. No credit card required.