Set Difference of Complements

Theorem

 * $\map \complement S \setminus \map \complement T = T \setminus S$