A D18: Map $(X \times Y, f)$ is an empty map if and only if \begin{equation} X = \emptyset \end{equation}