**binary endorelation**if and only if \begin{equation} X = 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 **binary endorelation** if and only if
\begin{equation}
X = Y
\end{equation}

Child definitions