Subset of Domain is Subset of Preimage of Image

Theorem
Let $$f: S \to T$$ be a mapping.

Then:
 * $$A \subseteq S \implies A \subseteq \left({f^{-1} \circ f}\right) \left({A}\right)$$
 * $$B \subseteq T \implies \left({f \circ f^{-1}}\right) \left({B}\right) \subseteq B$$

Proof
As a mapping is by definition also a relation, we apply Preimage of Image directly.