Q.If for all , implies , then the relation R defined on set A is called a _________ relation.
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 property described — whenever then — is the definition of a symmetric relation. The blank should be filled with symmetric.
Let’s understand why this is the correct classification.
A relation on a set is simply a collection of ordered pairs where . Different properties of relations describe what patterns these pairs follow. The three most common properties you encounter in exam problems are:
- Reflexive: Every element is related to itself — for all .
- Symmetric: If is related to , then is related back to — exactly the condition given.
- Transitive: If is related to and is related to , then is related to .
The statement in the question is the textbook definition of symmetry. There is no extra condition — it does not say “for all ” means every pair must be present; it only says whenever a pair is present, its reverse must also be present.
-
Identify the condition: The given statement is:
For all , if then .
This is a conditional statement — it does not force any particular pair to exist; it only imposes a requirement on pairs that do exist.
-
Match to the known property:
- Reflexive would require for every , which is not mentioned.
- Transitive would involve three elements and a chain condition, not just swapping two elements.
- Symmetric is exactly: “if then ”. The phrasing “ implies ” is the formal way to write this.
-
Check a simple example:
Let and .
- For , we have — condition holds. …
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.