Definition:Euclidean Relation

Definition
Let $\RR \subseteq S \times S$ be a relation in $S$.

Euclidean
$\RR$ is Euclidean it is both left-Euclidean and right-Euclidean.