Complement of Relative Complement is Union with Complement

Theorem
Let $A, B, C$ be sets such that $A \subseteq B \subseteq C$.

Then:
 * $\complement_C \left({\complement_B \left({A}\right)}\right) = A \cup \complement_C \left({B}\right)$