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 \paren {f \circ f^{-1} } \sqbrk B \subseteq B$