If you can use a non 'pick-a-point' proof, here is one.
I am struggling to understand the following.First, usually denotes conjunction, which joins propositions, not sets. (Speaking of this, it's not good to use both and "and", as well as - and .) Second, I don't see how the right-hand side immediately follows from the definition of the left-hand side.