Singleton of Subset is Element of Powerset of Powerset

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

Then:
 * $\set S \in \powerset {\powerset T}$

where $\powerset T$ denotes the power set of $T$.