Skip to content
Question

Q.If for all a1,a2∈Aa_1, a_2 \in A, (a1,a2)∈R(a_1, a_2) \in R implies (a2,a1)∈R(a_2, a_1) \in R, then the relation R defined on set A is called a _________ relation.

CBSECBSE Class XII Board 2020Subjective· 1mImportance★★★★★
🔒 Locked · start free trial →

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 (a1,a2)∈R(a_1, a_2) \in R then (a2,a1)∈R(a_2, a_1) \in R — 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 RR on a set AA is simply a collection of ordered pairs (x,y)(x, y) where x,y∈Ax, y \in A. 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 — (a,a)∈R(a, a) \in R for all a∈Aa \in A.
  • Symmetric: If aa is related to bb, then bb is related back to aa — exactly the condition given.
  • Transitive: If aa is related to bb and bb is related to cc, then aa is related to cc.

The statement in the question is the textbook definition of symmetry. There is no extra condition — it does not say “for all a1,a2a_1, a_2” means every pair must be present; it only says whenever a pair is present, its reverse must also be present.

  1. Identify the condition: The given statement is:

    For all a1,a2∈Aa_1, a_2 \in A, if (a1,a2)∈R(a_1, a_2) \in R then (a2,a1)∈R(a_2, a_1) \in R.

    This is a conditional statement — it does not force any particular pair to exist; it only imposes a requirement on pairs that do exist.

  2. Match to the known property:

    • Reflexive would require (a,a)∈R(a, a) \in R for every aa, which is not mentioned.
    • Transitive would involve three elements and a chain condition, not just swapping two elements.
    • Symmetric is exactly: “if aRbaRb then bRabRa”. The phrasing “(a1,a2)∈R(a_1, a_2) \in R implies (a2,a1)∈R(a_2, a_1) \in R” is the formal way to write this.
  3. Check a simple example:

    Let A={1,2,3}A = \{1, 2, 3\} and R={(1,2),(2,1)}R = \{(1, 2), (2, 1)\}.

    • For (1,2)∈R(1, 2) \in R, we have (2,1)∈R(2, 1) \in R — 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.