Image of Intersection under Injection

Theorem
Let $S$ and $T$ be sets.

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

Then:
 * $\forall A, B \subseteq S: f \left[{A \cap B}\right] = f \left[{A}\right] \cap f \left[{B}\right]$

$f$ is an injection.