#+title: endorelation
- tags :: [[file:20200708122545-category_theory.org][category theory]] [[file:20210117142702-relations.org][relations]]
- source :: [[file:literature/20210117123933-act4e_session_2_connection.org][ACT4E - Session 2 - Connection]]

An endorelation is a relation that describes how elements of a set relate to one
another. In other words, it's a relation that maps to itself.

For example, in the set of all natural numbers, $\N$, the relation $\leq$ is an
endorelation.