Set Complement inverts Subsets/Corollary

Corollary to Set Complement inverts Subsets
Let $S$ and $T$ be sets.

Then:
 * $S \subseteq \map \complement T \iff T \subseteq \map \complement S$

where:
 * $S \subseteq \map \complement T$ denotes that $S$ is a subset of the set complement of $T$.