Set Complement inverts Subsets

Theorem
Let $S$ and $T$ be sets.

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

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