**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 |

Definition D4424

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}

Children