Image of Pair under Mapping

Theorem
Let $S, T$ be sets.

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

Then:
 * $\forall x, y \in S: f \sqbrk {\set {x, y} } = \set {\map f x, \map f y}$

Proof
Let $x, y \in S$.

Thus