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$