Problem: Prove that .
Thoughts/Work: I tried proof by contradiction. Suppose that . Then and . So or and . Then and or . But this contradicts the fact that . So for equality between the two sets. Suppose that . Then or and or . So and or and . This is a contradiction and so . QED
I am not sure if I made this too complicated. Does this look ok?