▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
Empty 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
» D219: Empty map
Child definitions
» D5066: Canonical empty binary relation