Let and be any two equivalence relations on a non-empty set . Which one of the following statements is TRUE?
View worked solution
Answer: C
An equivalence relation must satisfy three properties: reflexivity, symmetry, and transitivity.
Let and be two equivalence relations on a non-empty set . Let us analyze the properties of their intersection and union.
1. Intersection () is always an equivalence relation:
- Reflexivity: For any , since and are reflexive, and . Therefore, .
- Symmetry: If , then and . Since and are symmetric, and . Thus, .
- Transitivity: If and , then:
- and (since is transitive)
- and (since is transitive)
Since is reflexive, symmetric, and transitive, it is always an equivalence relation.
2. Union () is not necessarily an equivalence relation:
While is always reflexive and symmetric, it often fails to be transitive. Consider the following counterexample:
- Let .
- Let (equivalence classes: ).
- Let (equivalence classes: ).
- The union is .
Here, and , but . Thus, transitivity is violated, meaning is not an equivalence relation.
Therefore, only is guaranteed to be an equivalence relation.
Free practice · Your answers on this page are not saved.
