A D4: Binary relation $(X \times Y, R)$ is an empty binary relation if and only if \begin{equation} R = \emptyset \end{equation}