Definition:Endorelation/General Definition

Definition
An $n$-ary relation $\mathcal R$ on a cartesian space $S^n$ is an $n$-ary endorelation on $S$:
 * $\mathcal R = \left({S, S, \ldots, S, R}\right)$

where $R \subseteq S^n$.

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 $n$-ary endorelation is also called an $n$-ary relation in $S$, or a on $S$. The latter term is discouraged, though, because it can also mean a left-total relation, and confusion can arise.