▾ Set of symbols
▾ Alphabet
▾ Deduction system
▾ Theory
▾ Zermelo-Fraenkel set theory
▾ Set
▾ Binary cartesian set product
▾ Binary relation
Binary endorelation
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
» D289: Antisymmetric binary relation
» D293: Asymmetric binary relation
» D184: Constancy relation
» D2696: Digraph
» D178: Equivalence relation
» D287: Reflexive binary relation
» D288: Transitive binary relation