Skip to content
NCERT Exemplar · Q1

Q.Let A={a,b,c}A = \{a, b, c\} and the relation RR be defined on AA as follows: R={(a,a),(b,c),(a,b)}R = \{(a, a), (b, c), (a, b)\}. Then, write minimum number of ordered pairs to be added in RR to make RR reflexive and transitive.

CBSEShort· 3mImportance★★★★★
60% · 62/104 Questions
✓ Free question

Concept understanding — Reflexive Transitive Not Symmetric

Reflexive, Transitive, Not Symmetric — A First Look

What kind of relation is reflexive and transitive but not symmetric? "Same grade as" won't do — it's symmetric. We need a relation that only goes one way. Let's build it.


The Intuition: A One-Way Street

The classic example is "divides" on the positive integers:

  • Reflexive: every number divides itself. 5∣55 \mid 5. ✓
  • Transitive: if a∣ba \mid b and b∣cb \mid c, then a∣ca \mid c. E.g. 2∣42 \mid 4 and 4∣124 \mid 12 gives 2∣122 \mid 12. ✓
  • Not symmetric: 2∣42 \mid 4 is true, but 4∣24 \mid 2 is false. The relation goes only one way. ✓

The key insight: the relation can go from smaller to larger (or equal), but not back.


The Precise Statement

Let RR be a relation on a set SS. Then:

Reflexive: ∀a∈S,  a R a\text{Reflexive: } \forall a \in S,\; a\,R\,a

Transitive: ∀a,b,c∈S,  (a R b∧b R c)  ⟹  a R c\text{Transitive: } \forall a,b,c \in S,\; (a\,R\,b \land b\,R\,c) \implies a\,R\,c

Not symmetric: ∃a,b∈S such that a R b but b R̸ a\text{Not symmetric: } \exists a,b \in S \text{ such that } a\,R\,b \text{ but } b\,\not R\,a

"Reflexive transitive not symmetric" is just a checklist of three properties — not a standard name like "equivalence relation". A relation with these (plus antisymmetry) is a partial order.


Why This Matters

Exams often ask: "Is this relation reflexive? Symmetric? Transitive?" Test each property independently — a relation can be reflexive and transitive but fail symmetry, and that's perfectly fine. For example, on the reals define x R yx\,R\,y if x≤yx \leq y: reflexive yes, transitive yes, symmetric no (3≤53 \leq 5 but 5≰35 \not\leq 3).

Watch out

A common mistake: assuming that reflexive + transitive forces symmetry. False — both "divides" and "≤\le" disprove it. Always test each property separately.


A Quick Table for Clarity

PropertyMeaningExample: "divides" on N\mathbb{N}
ReflexiveEvery element relates to itself3∣33 \mid 3 ✓
TransitiveChain of relations implies direct relation2∣42 \mid 4 and 4∣124 \mid 12 ⇒ 2∣122 \mid 12 ✓
Not symmetricAt least one pair works one way but not the other2∣42 \mid 4 but 4∤24 \nmid 2 ✓

The Takeaway

A relation that is reflexive, transitive, and not symmetric is like a one-way ladder: you can stand on your own rung (reflexive), climb from rung to rung through intermediate ones (transitive), but not climb back down (not symmetric). The classic examples are "divides" and "≤\le".

A relation that is reflexive and transitive but not symmetric — such as "divides" or ≤ — is a classic example type in the CBSE Class 12 Relations and Functions chapter, and "relation reflexive transitive not symmetric example" is a frequently searched exam question format. Recognising that these three properties are independent of one another is a key idea tested every year in board exams.

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.