Question

For a set S whose elements come from a set U, the complement of S in the set S^c = (x in U : x notin S). Prove that, for a set S, (S^c)^c=S.

Answer 1

I have to prove this by contradiction so. Prove there is a set S such that \[(S ^{c})^{c} \neq S\]