Thanks I'll work on improving my notationYou didn't clearly state the problem you were working on; I suppose you want to prove the first line? As written, that appears to be given.
Your notation is poor; you can't put [MATH]\iff[/MATH] between two sets.
But it's good that you solved it.