Complement Laws of Sets

Theorem

Let $A$ : Any set

Then

$$\begin{array}{rl}A\cup A^C& =U\\ A\cap A^C& =\varnothing \\ (A^C{)}^C& =A\\ U^C& =\varnothing \\ {\varnothing }^C& =U\end{array}$$