Q.Let be a relation defined over , where is the set of natural numbers, defined as " if and only if is a multiple of , ." Find whether is reflexive, symmetric and transitive or not.
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 →The relation “ is a multiple of ” is reflexive and transitive but not symmetric — it is a partial order on .
The core idea: “ is a multiple of ” means for some natural number . This is a divisibility relation in reverse — usually we say “ divides ”. Here, means .
We check the three properties one by one.
-
Reflexive — Is every natural number a multiple of itself?
For any , we have , so is a multiple of .
Hence holds for all .
is reflexive.
-
Symmetric — If is a multiple of , does it follow that is a multiple of ?
Take , . Then is a multiple of (since ), so holds.
But is not a multiple of (no natural gives ).
So is false.
One counterexample is enough: is not symmetric.
Watch outA common mistake: thinking “multiple of” is symmetric because multiplication is commutative. But the relation is directional — being a multiple of means (except when , but here and typically starts at 1). So symmetry would require always, which is false.
-
Transitive — If is a multiple of , and is a multiple of , is necessarily a multiple of ? …
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.