**maximal binary relation**if and only if \begin{equation} R = X \times Y \end{equation}

▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel set theory

▾ Set

▾ Binary cartesian set product

▾ Binary relation

Formulation 0

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