\begin{definition}[Definition:Endorelation]
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$.
\end{definition}