# Definition:Euclidean Relation/Left-Euclidean

## Definition

Let $\mathcal R \subseteq S \times S$ be a relation in $S$.

$\mathcal R$ is left-Euclidean if and only if:

$\tuple {x, z} \in \mathcal R \land \tuple {y, z} \in \mathcal R \implies \tuple {x, y} \in \mathcal R$

## Also see

• Results about Euclidean relations can be found here.

## Source of Name

The concept of a Euclidean relation was named for Euclid.

It derives ultimately from the first of Euclid's common notions.

In the words of Euclid:

Things which are equal to the same thing are also equal to each other.

However, Euclid did not delve deeply into the field of relation theory.

The concept of equivalence relations was a much later development.