Image of Empty Set is Empty Set

Theorem
Let $$\mathcal{R} \subseteq S \times T$$ be a relation.

The image of the empty set is the empty set:
 * $$\mathcal{R} \left({\varnothing}\right) = \varnothing$$

Proof
$$ $$ $$ $$