Exercise 627Logic, sets and proofs › Sets and mapsL1Added 4 Nov 2026
Inclusion and union with the complement
#inclusion#complement#equivalence
Statement
Let and the complement of in . Prove the equivalence
Hint
Prove both implications separately, by element chasing.
Show solutionHide solution
Solution
. Suppose and let . If , then . If , then (since ), so . Hence every element of is in .
. Suppose . If , there is with . Then and , so , contradicting . Hence .
Conclusion. The equivalence holds.