Let $f : X \to Y$ be a D18: Map.
Let $\emptyset$ be the D13: Empty set.

Then \begin{equation} f(\emptyset) = \emptyset \end{equation}