Direct Image Mapping of Surjection is Surjection

Theorem
Let $f: S \to T$ be a surjection.

Then the direct image mapping of $f$:
 * $f^\to: \powerset S \to \powerset T$

is a surjection.

Also see

 * Mapping is Surjection if its Direct Image Mapping is Surjection