Set of symbols
Deduction system
Zermelo-Fraenkel set theory
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