Set Difference of Complements

Theorem

 * $\complement \left({S}\right) \setminus \complement \left({T}\right) = T \setminus S$