Power Set of Subset

Theorem
Let $S \subseteq T$ where $S$ and $T$ are both sets.

Then:
 * $\mathcal P \left({S}\right) \subseteq \mathcal P \left({T}\right)$

where $\mathcal P \left({S}\right)$ denotes the power set of $S$.