Definition:Endorelation

Definition
Let $S \times S$ be the cartesian product of a set or class $S$ with itself.

Let $\RR$ be a relation on $S \times S$.

Then $\RR$ is referred to as an endorelation on $S$.

An endorelation can be defined as the ordered triple:
 * $\RR = \tuple {S, S, R}$

where $R \subseteq S \times S$.

Also known as
The term endorelation is rarely seen. Once it is established that the domain and codomain of a given relation are the same set, further comment is rarely needed.

An endorelation is also called a relation in $S$, or a relation on $S$. The latter term is discouraged, though, because it can also mean a left-total relation, and confusion can arise.

Some sources use the term binary relation exclusively to refer to a binary endorelation.

Some sources, for example, use the term relation for what is defined here as an endorelation, and a relation defined as a general ordered triple of sets: $\tuple {S, T, R \subseteq S \times T}$ is called a correspondence.

As this can cause confusion with the usage of correspondence to mean a relation which is both left-total and right-total, it is recommended that this is not used.

Also see

 * Definition:Relation