Let $X$ and $Y$ each be a D11: Set such that

(i)	$X \times Y$ is the D191: Binary cartesian set product of $(X, Y)$

The set of binary relations on $X \times Y$ is the D11: Set \begin{equation} \{ R : R \subseteq X \times Y \} \end{equation}