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