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

Proof
Let $B \subseteq T$.

Then:

So by definition of subset:
 * $B \subseteq T \implies \left({f^\to \circ f^\gets}\right) \left({B}\right) \subseteq B$