Let denote the power set of . Define the relations and on as if
and if
for all . Then:
- A
Both and are equivalence relations.
- B
Only is an equivalence relation.
- C
Only is an equivalence relation.
- D
Both and are not equivalence relations.
Let denote the power set of . Define the relations and on as if
and if
for all . Then:
Both and are equivalence relations.
Only is an equivalence relation.
Only is an equivalence relation.
Both and are not equivalence relations.
Correct answer:A
Standard Method
Given: and is the power set of .
Find: Whether and are equivalence relations.
For ,
This implies .
So we check the three properties:
Hence .
which implies . Therefore, .
Therefore, is an equivalence relation.
For ,
Again check the three properties:
Hence .
Reversing the equality gives
So .
and
Using substitution, we get
Hence .
Therefore, is also an equivalence relation.
So, both and are equivalence relations. The correct option is A.
Observation Based Check
Given: The relations are defined on .
Find: Which of and are equivalence relations.
For , the condition
means there is no element belonging to exactly one of and . So the symmetric difference is empty, which means . Equality is always reflexive, symmetric, and transitive.
For , the given solution verifies reflexivity, symmetry, and transitivity directly from
Therefore, is also an equivalence relation.
Hence both relations are equivalence relations, so the correct option is A.
Students may fail to recognize that
is the symmetric difference of and . If this expression is empty, then . Treat it as equality of sets before checking reflexive, symmetric, and transitive properties.
A common mistake is to test only one property, such as reflexivity, and conclude too early. To prove a relation is an equivalence relation, all three properties—reflexivity, symmetry, and transitivity—must be checked.
Some students confuse with set difference from without keeping the universal set fixed. Here complements are taken with respect to , so every complement must be interpreted inside .
Get unlimited AI-adaptive practice, mastery tracking, and an AI tutor that explains every step — free to start.