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