GATE | GATE-CS-2002 | Question 42

The binary relation S = ф (empty set) on set A = {1, 2, 3} is :
(A) Neither reflexive nor symmetric
(B) Symmetric and reflexive
(C) Transitive and reflexive
(D) Transitive and symmetric

Answer: (D)


  • Reflexive : A relation is reflexive if every element of set is paired with itself. Here none of the element of A is paired with themselves, so S is not reflexive.
  • Symmetric : This property says that if there is a pair (a, b) in S, then there must be a pair (b, a) in S. Since there is no pair here in S, this is trivially true, so S is symmetric.
  • Transitive : This says that if there are pairs (a, b) and (b, c) in S, then there must be pair (a,c) in S. Again, this condition is trivially true, so S is transitive.

    Thus, option (D) is correct.

    Please comment below if you find anything wrong in the above post.

Quiz of this Question

My Personal Notes arrow_drop_up

Article Tags :

Be the First to upvote.

Please write to us at to report any issue with the above content.