Subset of Codomain is Superset of Image of Preimage/Proof 1

Proof
From Image of Preimage of Mapping:
 * $B \subseteq T \implies \left({f \circ f^{-1} }\right) \left[{B}\right] = B \cap f \left[{S}\right]$

The result follows from Intersection is Subset.