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
$$ $$ $$ $$