Skip to content
MathsCBSE Class 12 · Relations and Functions

Reflexive, Symmetric and Transitive Relations (Class 12)

Updated 15 October 2026 · Fact-checked

A relation R on a set A is reflexive if every element is related to itself, symmetric if a R b always gives b R a, and transitive if a R b and b R c always give a R c. To prove a property, argue for arbitrary elements; to disprove it, one specific counter-example is enough.

Reflexive needs a loop on every element, symmetric needs arrows both ways, transitive needs a shortcut for every two-step chain.

Illustration drawn for QuestionBuddy.

Understand Reflexive, Symmetric and Transitive Relations

A relation on a set is simply a subset of . When we write and say ' is related to '. Two relations sit at the extremes: the empty relation (no pair at all) and the universal relation (every pair). Most board questions are about three properties a relation may or may not have.

  • Reflexive: for every . Think of the diagonal of : all of it must be inside . Missing even one breaks it.
  • Symmetric: whenever , the reverse pair is also in . It is a two-way street.
  • Transitive: whenever and , the pair is also in . Every two-step chain must have its one-step shortcut.

The three properties are independent: a relation can have any combination of them. On a finite set given as a list of pairs, you check each one by scanning the list. On an infinite set such as , or , the relation is given by a rule, and the logic matters more than the arithmetic.

Proving versus disproving. To show a property holds, take arbitrary elements (say ) that satisfy the hypothesis and deduce the conclusion in general; checking a few numbers is not a proof. To show a property fails, give one specific counter-example with actual numbers, and show both what holds and what fails. For instance, on is not symmetric because but .

Watch the 'if-then' structure. Symmetry and transitivity are conditional statements. If no pair ever triggers the 'if', the property holds automatically (it is true vacuously). That is why the empty relation on a non-empty set is symmetric and transitive but not reflexive. Similarly, a relation such as on is symmetric and transitive but not reflexive, because is missing.

Counting relations on a finite set. If has elements, has pairs and each pair is either in or out, so there are relations. A reflexive relation must contain all diagonal pairs and is free on the other pairs, giving . For a symmetric relation you choose freely only the diagonal pairs and one pair from each mirror couple , which is free choices, giving .

This topic is the base for equivalence relations, which are relations that are reflexive, symmetric and transitive all at once. In NCERT Class 12 it is Section 1.2 of Chapter 1.

Reflexive, Symmetric and Transitive Relations: formulas to remember

Reflexive
Every diagonal pair must be present. One missing makes R not reflexive.
Symmetric
Check each pair's reverse. Pairs of the form are their own reverse.
Transitive
Every chain needs its shortcut, including chains such as , which need .
Number of relations on a set with n elements
Each of the ordered pairs is either in R or not.
Number of reflexive relations
The n diagonal pairs are forced in; the rest are free.
Number of symmetric relations
Free choices: n diagonal pairs plus mirror couples.
Empty and universal relations
The empty relation on a non-empty set is not reflexive.

How to solve Reflexive, Symmetric and Transitive Relations questions

Use this routine for every 'check whether R is reflexive, symmetric or transitive' question, whether R is a list of pairs or a rule on an infinite set.

  1. 1Write the set and the rule clearly: on . Note any restriction such as (positive) or (includes 0 and negatives).
  2. 2Reflexive: test the rule with . If it holds for every , prove it in one line. If it fails, name one element, for example 'since '.
  3. 3Symmetric: assume , write what the rule gives, and try to deduce the rule for . If the rule is lopsided (like , 'divides', ), look for a counter-example.
  4. 4Transitive: assume and , write both conditions, and try to combine them into the condition for . If they do not combine, search for a counter-example; try 0, 1, negatives and equal values first.
  5. 5For a finite list of pairs, scan systematically: list the diagonal pairs, the reverse of every pair, and every chain including chains that loop back like .
  6. 6State each counter-example in full: what is in R, what is not, and which property therefore fails.
  7. 7End with a summary sentence: 'Hence R is reflexive and transitive but not symmetric.'

Reflexive, Symmetric and Transitive Relations in real life

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.

Symmetric and transitive relations

Suppose three friends, Asha, Ben and Chetan, use a messaging app. Let mean ' has saved 's number'. Asha has saved Ben's number, Ben has saved Asha's and Chetan's numbers, and nobody else has saved anyone.

Write R as a set of ordered pairs on {Asha, Ben, Chetan}. Decide whether R is reflexive, symmetric and transitive. What is the least number of pairs that must be added to make R symmetric?

Try it first, then show the solutionSolution
  1. Using initials, .
  2. Reflexive: (Asha has not saved her own number), so R is not reflexive.
  3. Symmetric: but , so R is not symmetric.
  4. Transitive: and but , so R is not transitive.
  5. To make it symmetric, every pair needs its reverse. and already pair up; only is missing. Adding it gives , which is symmetric.

Answer: is neither reflexive, nor symmetric, nor transitive. Adding one pair, , makes it symmetric.

Memory hook: Saving a number is one-way: symmetry needs the other person to save you back.

Transitivity as shortcuts

Imagine four junctions P, Q, R and S joined by one-way roads P to Q, Q to R and R to S. Let mean 'there is a single road from to '.

Is T transitive? Find the smallest relation containing T that is transitive, and say in words what it describes.

Try it first, then show the solutionSolution
  1. .
  2. but , so T is not transitive.
  3. Add the shortcut of every two-step chain: from P to Q to R, and from Q to R to S.
  4. Now and form a chain, so add as well.
  5. Check the new set : every chain now has its shortcut, so it is transitive.

Answer: T is not transitive. Adding the 3 pairs , and gives the smallest transitive relation containing T. It describes 'you can drive from to ', by one or more roads.

Memory hook: Transitive means every two-step route has a direct shortcut in the list.

Tricks to remember Reflexive, Symmetric and Transitive Relations

Short memory aids. Say each one aloud once, then use it on a question the same day.

  • Mirror, two-way street, relay

    Reflexive is a mirror: everyone sees themselves. Symmetric is a two-way street: if you can go, you can come back. Transitive is a relay race: if a passes to b and b passes to c, then a reaches c.

    Use it when: Recalling the three definitions quickly in MCQs and assertion-reason items.

  • Prove with letters, disprove with numbers

    A property that holds needs a general argument with . A property that fails needs only one numerical counter-example.

    Use it when: Deciding how much to write for each property in a 3- or 5-mark answer.

  • Try 0, 1, a negative, and equals

    When hunting a counter-example, try 0, 1, a negative number, a fraction like , and first. Most rules break at one of these.

    Use it when: Rules like (fails transitivity through 0) or (fails reflexivity at ).

  • Counting: n squared, drop the diagonal, fold the square

    All relations: . Reflexive: the diagonal is fixed, so drop it: . Symmetric: fold the square along the diagonal and choose on one half plus the diagonal: .

    Use it when: One-mark counting MCQs.

Reflexive, Symmetric and Transitive Relations: solved examples

Ordered from board level to HOTS. Try each one before you open the solution.

Example 1: Reading properties from a list of pairs · 2 marks · Very short answerBoard level

Let and . Determine whether R is reflexive, symmetric and transitive.

Try it first, then show the solutionSolution
  1. Reflexive: are all in R, so R is reflexive. (½ mark)
  2. Symmetric: but , so R is not symmetric. (½ mark)
  3. Transitive: and , but , so R is not transitive. (1 mark)

Answer: R is reflexive, but neither symmetric nor transitive.

Example 2: A rule on the integers · 3 marks · Short answerBoard level

A relation R on is defined by if and only if . Check whether R is reflexive, symmetric and transitive.

Try it first, then show the solutionSolution
  1. Reflexive: for any , , so . R is reflexive. (1 mark)
  2. Symmetric: since , but since . R is not symmetric. (1 mark)
  3. Transitive: since , and since , but since . R is not transitive. (1 mark)

Answer: R is reflexive but neither symmetric nor transitive.

Example 3: Common factor relation on the natural numbers · 3 marks · Short answerHarder board level

On , define if and have a common factor greater than 1. Show that R is symmetric but neither reflexive nor transitive.

Try it first, then show the solutionSolution
  1. Reflexive: the only factor of 1 is 1, so 1 and 1 have no common factor greater than 1. Thus and R is not reflexive. (1 mark)
  2. Symmetric: if and share a factor , then and share the same factor . So ; R is symmetric. (1 mark)
  3. Transitive: (common factor 2) and (common factor 3), but 2 and 3 have no common factor greater than 1, so . R is not transitive. (1 mark)

Answer: R is symmetric only; breaks reflexivity and the chain breaks transitivity.

Example 4: The zero trap · 3 marks · Short answerHarder board level

A relation R on is defined by . Prove that R is reflexive and symmetric. Is R transitive? Justify.

Try it first, then show the solutionSolution
  1. Reflexive: for every integer , , so . (1 mark)
  2. Symmetric: if then , so . (1 mark)
  3. Transitive: take , , . Then and , so . But , so . R is not transitive. (1 mark)

Answer: R is reflexive and symmetric but not transitive; zero links a negative and a positive number.

Example 5: Fewest pairs to add · 2 marks · Very short answerHarder board level

Let and . Find the least number of ordered pairs that must be added to R so that the new relation is reflexive and transitive. Is the new relation symmetric?

Try it first, then show the solutionSolution
  1. Reflexive needs all four diagonal pairs: add . (½ mark)
  2. Transitive: the chain needs , so add it. (½ mark)
  3. Check : chains through a diagonal pair give back a pair already present, and starts no new chain, so is transitive. (½ mark)
  4. So 5 pairs are needed. is not symmetric, since but . (½ mark)

Answer: 5 pairs: . The new relation is not symmetric.

Example 6: Case study: stations on a metro line · 4 marks · Case-basedHOTS / competency

Suppose five metro stations on a straight line are numbered 1 to 5 in order. A travel card allows a free ride between stations and if they are the same station or next to each other. Define R on by .
(i) Is R reflexive? (1 mark)
(ii) Is R symmetric? (1 mark)
(iii) Show that R is not transitive and explain what this means for a passenger. (1 mark)
(iv) How many ordered pairs does R contain? (1 mark)

Try it first, then show the solutionSolution
  1. (i) for each station, so R is reflexive. (1 mark)
  2. (ii) , so ; R is symmetric. (1 mark)
  3. (iii) and but , so . A passenger can ride free from 1 to 2 and from 2 to 3, but not from 1 to 3 in one free ride. (1 mark)
  4. (iv) Diagonal pairs: 5. Neighbouring stations: 4 adjacent couples, each giving 2 ordered pairs, so 8. Total . (1 mark)

Answer: (i) Yes. (ii) Yes. (iii) No: but . (iv) 13 ordered pairs.

Example 7: Counting reflexive and symmetric relations · 3 marks · Short answerHOTS / competency

Let . Find the number of relations on A that are (i) reflexive, (ii) symmetric, (iii) both reflexive and symmetric.

Try it first, then show the solutionSolution
  1. has ordered pairs: 3 diagonal pairs and 6 off-diagonal pairs forming 3 mirror couples. (½ mark)
  2. (i) Reflexive: the 3 diagonal pairs are forced in; each of the 6 others is free. Number . (1 mark)
  3. (ii) Symmetric: choose each diagonal pair freely (3 choices) and each mirror couple as a whole (3 choices): . (1 mark)
  4. (iii) Both: diagonal pairs forced in, mirror couples free: . (½ mark)

Answer: (i) 64 (ii) 64 (iii) 8.

Where students lose marks in Reflexive, Symmetric and Transitive Relations

The slips examiners see most often, and what to write instead.

  • Mistake: Proving a property with one numerical example

    One example can disprove a property but never proves it for all elements of an infinite set.

    Wrong working

    Reflexive: because . So R is reflexive.

    Right working

    Reflexive: for every , , which satisfies the rule, so for all .

    Do this: Use a general element (and ) when a property holds; save numbers for counter-examples.

    Usually costs: The mark for that property in a 3- or 5-mark proof.

  • Mistake: Missing the loop-back chain when checking transitivity

    A chain like requires ; students only look at chains with three different elements.

    Wrong working

    : no chain with different elements, so R is transitive.

    Right working

    but , so R is not transitive.

    Do this: When scanning chains, allow : every symmetric couple needs both and .

    Usually costs: 1 mark, and the MCQ when options test this.

  • Mistake: Writing a counter-example without saying what fails

    Examiners need both halves: what is in R and what is not.

    Wrong working

    Not symmetric, e.g. 2 and 4.

    Right working

    Not symmetric: since 2 divides 4, but since 4 does not divide 2.

    Do this: Write the counter-example as a full sentence with both membership statements and the reason for each.

    Usually costs: Half to one mark per property.

  • Mistake: Ignoring the set the relation is defined on

    Whether 0, negatives or fractions are allowed decides which counter-examples exist.

    Wrong working

    on : not reflexive since .

    Right working

    On , 0 is not an element, and for every natural number, so R is reflexive on .

    Do this: Underline the set (, , or a finite set) and choose counter-examples only from it.

    Usually costs: The whole property, sometimes the final conclusion too.

Exam tips

  • Write the three properties as three headed paragraphs, 'Reflexive:', 'Symmetric:', 'Transitive:', so each mark is easy for the examiner to award.
  • When a property holds, start with 'Let such that ' and end with 'Hence '. This structure is what the marking scheme rewards.
  • For finite sets, a missing diagonal pair or a missing reverse pair is the fastest counter-example; name it exactly.
  • Counting questions on reflexive or symmetric relations appear as 1-mark MCQs (one was asked in the 2023 board paper); learn and .
  • Before concluding 'not transitive', double-check your counter-example really has and in R with the same middle element.

Practice questions on Reflexive, Symmetric and Transitive Relations

Write each answer on paper first. Open the hint only if you are stuck, and the answer only when you have finished.

  1. Q1 · 1 mark · MCQBoard level

    Let and . Then R is:
    (a) reflexive and symmetric
    (b) symmetric and transitive
    (c) symmetric only
    (d) transitive only

    Hint

    Check the chain : what shortcut does it need?

    Answer

    (c). The diagonal pairs are missing, so R is not reflexive. Each pair's reverse is present, so R is symmetric. The chain needs , which is absent, so R is not transitive.

  2. Q2 · 1 mark · MCQBoard level

    The number of reflexive relations on a set with 4 elements is:
    (a)
    (b)
    (c)
    (d)

    Hint

    Remove the 4 diagonal pairs from the 16 pairs of .

    Answer

    (b) , since the 4 diagonal pairs are fixed and the other pairs are free.

  3. Q3 · 3 marks · Short answerBoard level

    Show that the relation R on defined by if divides is reflexive and transitive but not symmetric.

    Hint

    For transitivity, write and .

    Answer

    Reflexive: , so divides . Symmetric fails: 2 divides 4 but 4 does not divide 2. Transitive: if and for natural numbers , then , so divides . Hence R is reflexive and transitive but not symmetric.

  4. Q4 · 1 mark · Assertion-reasonHarder board level

    Assertion (A): The empty relation on is symmetric and transitive.
    Reason (R): A statement of the form 'if then ...' cannot fail when R has no pairs.
    (a) Both A and R are true and R is the correct explanation of A.
    (b) Both A and R are true but R is not the correct explanation of A.
    (c) A is true but R is false.
    (d) A is false but R is true.

    Hint

    Can you find a pair in the empty relation that violates symmetry or transitivity?

    Answer

    (a). Symmetry and transitivity are 'if-then' conditions, and with no pairs there is no case where they fail, so both hold. (The empty relation is not reflexive, because is missing, but that is not claimed.)

  5. Q5 · 3 marks · Short answerHarder board level

    Let R be the relation on defined by . Show that R is symmetric and transitive but not reflexive.

    Hint

    Transitivity: means and have the same sign and neither is zero.

    Answer

    Not reflexive: , so . Symmetric: . Transitive: means are non-zero with the same sign; means have the same sign; so and have the same sign as and . (Alternatively, with gives .)

  6. Q6 · 2 marks · Very short answerHarder board level

    Give an example of a relation on that is reflexive and symmetric but not transitive. Justify each property.

    Hint

    Start with the diagonal, then add two mirror couples that share one element.

    Answer

    . All diagonal pairs are present (reflexive); every pair's reverse is present (symmetric); but (not transitive).

  7. Q7 · 4 marks · Case-basedHOTS / competency

    Case study: Suppose five students A, B, C, D and E score 72, 85, 85, 60 and 91 marks in a test. Define R on the set of these students by if scored at least as many marks as .
    (i) Is R reflexive? (1 mark)
    (ii) Is R symmetric? Use the pairs (B, C) and (E, A). (1 mark)
    (iii) Is R transitive? (1 mark)
    (iv) Find the number of ordered pairs in R. (1 mark)

    Hint

    For (iv), count for each student how many students (including themselves) scored at most as much.

    Answer

    (i) Yes: each student's score is at least their own score. (ii) No: and are both in R since , but () while , so R is not symmetric. (iii) Yes: if and then . (iv) A: 2 (A, D); B: 4; C: 4; D: 1; E: 5. Total .

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. 1.State the condition for a relation R on A to be reflexive.Show answer

    for every .

  2. 2.How many relations are there on a set with elements?Show answer

    .

  3. 3.Is the empty relation on transitive?Show answer

    Yes, vacuously: there are no pairs, so no chain can fail. It is also symmetric, but not reflexive.

  4. 4.What does force if R is transitive?Show answer

    Both and must be in R.

  5. 5.How many symmetric relations are there on a set with 3 elements?Show answer

    .

  6. 6.Give a one-line reason why '' on is not symmetric.Show answer

    but , so while .

Reflexive, Symmetric and Transitive Relations: frequently asked questions

Can a relation be symmetric and transitive but not reflexive?

Yes. A symmetric, transitive relation is reflexive only on the elements that appear in some pair. If an element is never related to anything, such as 3 in the relation {(1, 1), (1, 2), (2, 1), (2, 2)} on {1, 2, 3}, its diagonal pair is missing and the relation is not reflexive.

Is it enough to show one example to prove a relation is reflexive?

No. A property that holds must be shown for every element, using a general element a. A single numerical example is only enough to show that a property fails.

Which NCERT section covers types of relations?

Section 1.2, Types of Relations, in Chapter 1 (Relations and Functions) of NCERT Mathematics Part I for Class 12. Its exercise has questions on checking these properties for finite and infinite sets.

Are antisymmetric relations or partial orders in the 2026-27 syllabus?

No. The 2026-27 CBSE syllabus lists reflexive, symmetric, transitive and equivalence relations only. Antisymmetry is not asked.

How many marks do relation-property questions carry in the board exam?

They appear as 1-mark MCQs, 2- or 3-mark short answers and as part of 5-mark equivalence relation proofs or 4-mark case studies, so they are worth practising in full sentences.