**empty binary relation**if and only if \begin{equation} R = \emptyset \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 an **empty binary relation** if and only if
\begin{equation}
R = \emptyset
\end{equation}

Subdefinitions

Child definitions