Q.Let R={(3,1),(1,3),(3,3)} be a relation defined on the set A={1,2,3}. Then R is symmetric, transitive but not reflexive.
🔒You're viewing a preview — the full solution, concept, methods & PYQ mapping are locked.
🔒 Start your 14-day free trial to unlock the full solution →Concept understanding — Relation Properties
Properties of a Relation
A relation R on a set A pairs elements of A with one another. Some relations behave in regular, predictable ways, and we name these behaviours properties. Three matter most for CBSE Class 12 — reflexive, symmetric, transitive (together they build an equivalence relation); a fourth, antisymmetric, is worth knowing for order relations.
Reflexive — everything relates to itself
R is reflexive if aRa for every a∈A. "Has the same age as" is reflexive; "is taller than" is not. If even one element misses its self-pair, reflexivity fails: on {1,2,3}, {(1,1),(2,2)} is not reflexive because (3,3) is absent.
Symmetric — the relation runs both ways
R is symmetric if aRb⟹bRa. "Is married to" is symmetric; "is taller than" is not. Symmetry does not demand that every pair be related — only that any pair which appears also appears reversed. So {(1,2),(2,1),(3,3)} is symmetric, but {(1,2),(2,1),(1,3)} is not, since (3,1) is missing.
Transitive — relations chain
R is transitive if aRb and bRc together force aRc. "Is an ancestor of" is transitive; "is a friend of" is not. A single broken chain breaks the property: {(1,2),(2,3)} is not transitive because (1,3) is missing.
Antisymmetric — two-way ties force equality
R is antisymmetric if aRb and bRa together force a=b. The order relation ≤ is antisymmetric: a≤b and b≤a give a=b. It does not ban self-pairs like (1,1); it only rules out distinct elements related both ways.
Test the properties in order of ease — reflexivity first, then symmetry, transitivity. A single counterexample is enough to disprove any of them.
| Property | Condition |
|---|---|
| Reflexive | ∀a, aRa |
The key idea is that a relation can be reflexive, symmetric, or transitive independently — here we check each property against the definition.
- Reflexive: Every element must relate to itself. A={1,2,3} requires (1,1), (2,2), and (3,3). Only (3,3) is present; (1,1) and (2,2) are missing. So R is not reflexive.
- Symmetric: If (a,b)∈R, then (b,a) must also be in R. We have (3,1) and (1,3) — both present. Also (3,3) is its own pair. So R is symmetric. …
The claim is false: R={(3,1),(1,3),(3,3)} is symmetric and not reflexive, but it is not transitive.
Test each property of R={(3,1),(1,3),(3,3)} on A={1,2,3}.
Symmetric? (3,1)∈R and its reverse (1,3)∈R; (3,3) is its own reverse. So R is symmetric. ✓
Reflexive? Reflexivity needs (1,1),(2,2),(3,3). Only (3,3) is present, so R is not reflexive. ✓
Transitive? Check the chains. From (1,3)∈R and (3,1)∈R, transitivity requires (1,1)∈R — but (1,1)∈/R. The condition fails, so R is not transitive. …
Method: Verifying a Claim About a Relation's Properties
Use this for a true/false statement asserting that a listed relation is (say) symmetric, transitive, and not reflexive.
Steps
Step 1: Test each named property against its definition, independently.
Reflexive needs (a,a) for every element of the base set; symmetric needs (b,a) whenever (a,b) is present; transitive needs (a,c) whenever (a,b) and (b,c) are present.
Step 2: For transitivity, check every chain — including reversed pairs. …
Common Mistakes
Mistake 1: Declaring the relation transitive without checking all chains.
Why it's wrong: with (3,1) and (1,3) present, transitivity requires (1,1); since (1,1) is missing, the relation is not transitive. Correct approach: test every pair-of-pairs, especially those formed by a pair and its reverse.
Mistake 2: Accepting the claim wholesale without testing each property. …
- KEAM 2026Set eng-2026-04194 marksMCQQ.Let X={a1,a2,a3,…,an} be a set consisting of n elements. The relation R={(a1,a1),(a2,a2),(a3,a3),…,(an,an)} on the set X is (A) reflexive, symmetric but not transitive (B) reflexive, transitive but not symmetric (C) transitive, symmetric but not reflexive (D) reflexive, symmetric and transitive (E) reflexive, not symmetric and not transitive
›Reveal solutionSolution
The diagonal (identity) relation on a set is reflexive, symmetric and transitive.
R={(ai,ai):i=1,…,n} contains exactly the diagonal pairs.
- Reflexive: every (ai,ai) is present. Yes.
- Symmetric: each pair is its own reverse, so (ai,ai)∈R⇒(ai,ai)∈R. Yes. …
- KEAM 2026Set eng-2026-04204 marksMCQQ.Let X={1,2,3,4,5,6,7}. Let R={(1,1),(1,2),(1,3),(5,6),(6,7),(7,5)} be a relation on X. Then the relation R will become reflexive if we include the pairs (A) (2,7),(3,3),(5,5),(6,6) and (7,7) (B) (2,2),(4,3),(5,5),(6,6) and (7,7) (C) (2,2),(3,3),(5,5),(6,6) and (7,6) (D) (2,2),(3,3),(5,5) and (7,7) (E) (2,2),(3,3),(4,4),(5,5),(6,6) and (7,7)
›Reveal solutionSolution
A relation on X is reflexive iff it contains (i,i) for every i∈X={1,…,7}. R already has (1,1), so exactly the six pairs (2,2),(3,3),(4,4),(5,5),(6,6),(7,7) must be added.
Reflexivity requires (i,i)∈R for all i∈{1,2,3,4,5,6,7}.
Currently R contains the diagonal pair (1,1) only. The missing diagonal pairs are:
(2,2),(3,3),(4,4),(5,5),(6,6),(7,7). …
- KEAM 2024Set eng-2024-06054 marksMCQQ.Let N be the set of all natural numbers. Let R be a relation defined on N given by aRb if and only if a+2b=11. Then the relation R is (A) reflexive but not symmetric (B) not reflexive but symmetric (C) reflexive and symmetric (D) neither reflexive nor symmetric (E) an equivalence relation
›Reveal solutionSolution
The relation a+2b=11 is neither reflexive nor symmetric.
Reflexive? aRa requires a+2a=3a=11, which has no natural-number solution. Not reflexive. …
- KEAM 2024Set eng-2024-06054 marksMCQQ.If R={(x,y):x,y∈Z, x2+3y2≤7} is a relation on the set of integers Z, then the range of the relation R is (A) {0,1} (B) {1,−1} (C) {0,−1} (D) {1} (E) {0,−1,1}
›Reveal solutionSolution
Bounding 3y2≤7 limits y to {−1,0,1}, all achievable.
Since x2≥0, a pair (x,y) can exist only if 3y2≤7, i.e. y2≤37≈2.33, so y∈{−1,0,1}. Each is realizable:
- y=0: e.g. x=0 (0≤7), …
- KEAM 2024Set eng-2024-06064 marksMCQQ.Let S denote the set of all subsets of integers containing more than two numbers. A relation R on S is defined by R={(A,B): the sets A and B have at least two numbers in common }. Then the relation R is (A) reflexive, symmetric and transitive (B) reflexive and symmetric but not transitive (C) not reflexive, not symmetric and not transitive (D) not reflexive but symmetric and transitive (E) reflexive but not symmetric and transitive
›Reveal solutionSolution
S = subsets of integers with more than two elements; ARB iff A,B have at least two common numbers.
Properties:
- Reflexive: every set in S has ≥3 elements, so A∩A has ≥2 elements → ARA. Yes.
- Symmetric: "at least two in common" is symmetric in A,B. Yes. …
- KEAM 2024Set eng-2024-06074 marksMCQQ.The relation R in the set of integers Z is given by R={(a,b):b=2a+3}. Then the relation R is (A) reflexive, symmetric and transitive (B) neither reflexive nor symmetric nor transitive (C) not reflexive but symmetric and transitive (D) reflexive and symmetric but not transitive (E) reflexive but not symmetric and transitive
›Reveal solutionSolution
Test each property against the rule b=2a+3. …
- KEAM 2024Set eng-2024-06094 marksMCQQ.Let a relation R on the set N of natural numbers be defined by (x,y)∈R if and only if x2−4xy+3y2=0 for all x,y∈N. Then the relation is (A) reflexive (B) symmetric (C) transitive (D) reflexive and symmetric but not transitive (E) an equivalence relation
›Reveal solutionSolution
The condition factors to x=y or x=3y; only reflexivity holds.
Factor the defining relation:
x2−4xy+3y2=(x−y)(x−3y)=0,
so (x,y)∈R iff x=y or x=3y.
Reflexive: For any x, x=x satisfies the condition, so (x,x)∈R — reflexive. ✓
Symmetric: Take (3,1): 3=3(1) so (3,1)∈R. But (1,3) needs 1=3 or 1=9, both false, so (1,3)∈/R — not symmetric. ✗ …
🎓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.