Let R be a relation on the set of ordered pairs of positive integers such that ((p,q),(r,s)) ∈ R if and only if p - s = q - r. Which one of the following is true about R?
Topic-wise GATE CS PYQs with verified steps
GATE CSE 2015 Set 3 · Q41
Time
Select one answerSingle correct
Solution
Official answer: C) Not reflexive but symmetric
Sets, Relations, Lattices and GroupsGiven the condition for :
Reflexivity: For to be reflexive, must hold for all pairs of positive integers . This requires:
This is not true for arbitrary positive integers (e.g., for , ). Thus, is not reflexive.
Symmetry: Assume , which means . For symmetry, must hold, which requires:
Since addition of integers is commutative, implies . Thus, is symmetric.
Therefore, is Not reflexive but symmetric, making C the correct option.
Try the question first, then check your work.
Examiner trap
Rewrite the condition as . Check if holds for any , and test if swapping and preserves the equality.
This Sets, Relations, Lattices and Groups previous year question is Q41 of the GATE CSE 2015 Set 3 paper. Find more GATE CSE PYQs on Sets, Relations, Lattices and Groups in Engineering Mathematics, or browse all GATE CSE PYQs.
Free diagnostic
Take the 20-minute diagnostic: the 3 topics that cost you the most marks, and a rank range. Or sit 5 related Sets, Relations, Lattices and Groups PYQs now with no account.
An official question by email at 7 AM IST, with a link to its verified solution. Unsubscribe in one click.
Sets, Relations, Lattices and Groups has 11 GATE CSE PYQs across 9 papers from 2014 to 2025. This is the only 2-mark MCQ among them, and it is the only one in GATE CSE 2015 Set 3.
How GATE tests Sets, Relations, Lattices and GroupsIndependent practice explanation verified by the GateAI team. GATE is conducted by the IITs; question text follows the official paper.