\begin{definition}[Definition:Endorelation/General Definition]
An $n$-ary relation $\RR$ on a cartesian space $S^n$ is an '''$n$-ary endorelation on $S$''':
:$\RR = \struct {S, S, \ldots, S, R}$
where $R \subseteq S^n$.
\end{definition}