Skip to content
Official PYQ · 1987

GATE CS 1987 Q2d — Sets, Relations and Functions

Explain with AI
State whether the following statements are TRUE or FALSE:

The union of two equivalence relations is also an equivalence relation.
View worked solution

Answer: 0

The given statement is FALSE (represented as 0).

For a relation to be an equivalence relation, it must be reflexive, symmetric, and transitive. While the union of two equivalence relations is always reflexive and symmetric, it is not necessarily transitive.

Counterexample:

Let A={1,2,3}A = \{1, 2, 3\}.

Define two equivalence relations on AA:

  • R1={(1,1),(2,2),(3,3),(1,2),(2,1)}R_1 = \{(1,1), (2,2), (3,3), (1,2), (2,1)\}
  • R2={(1,1),(2,2),(3,3),(2,3),(3,2)}R_2 = \{(1,1), (2,2), (3,3), (2,3), (3,2)\}

Their union is:

R1∪R2={(1,1),(2,2),(3,3),(1,2),(2,1),(2,3),(3,2)}R_1 \cup R_2 = \{(1,1), (2,2), (3,3), (1,2), (2,1), (2,3), (3,2)\}

In R1∪R2R_1 \cup R_2, we have:

  • (1,2)∈R1∪R2(1,2) \in R_1 \cup R_2
  • (2,3)∈R1∪R2(2,3) \in R_1 \cup R_2

But (1,3)∉R1∪R2(1,3) \notin R_1 \cup R_2. Thus, the transitivity property fails, and R1∪R2R_1 \cup R_2 is not an equivalence relation.

Free practice · Your answers on this page are not saved.

Published
Report a correction
Keep exploringMore Sets, Relations and Functions questions