Complement of Relative Complement is Union with Complement

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

Then:
 * $\relcomp C {\relcomp B A} = A \cup \relcomp C B$