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 see

 * Definition:Relation