Subset equals Image of Preimage implies Surjection/Proof 1

Proof
Let $f$ be such that:
 * $\forall B \subseteq T: B = \left({f \circ f^{-1} }\right) \left[{B}\right]$

In particular, it holds for $T$ itself.

Hence:

So:
 * $T \subseteq \operatorname{Im} \left({f}\right) \subseteq T$

and so by definition of set equality:
 * $\operatorname{Im} \left({f}\right) = T$

So, by definition, $f$ is a surjection.