Definition:Endorelation/General Definition

Definition
A subset of a cartesian space $S^n$ is an $n$-ary endorelation on $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 $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.