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 \circ f^{-1} }\right) \left[{B}\right] \subseteq B$