Definition:Euclidean Relation/Right-Euclidean
< Definition:Euclidean Relation(Redirected from Definition:Right-Euclidean Relation)
Jump to navigation
Jump to search
Definition
Let $\RR \subseteq S \times S$ be a relation in $S$.
$\RR$ is right-Euclidean if and only if:
- $\tuple {x, y} \in \RR \land \tuple {x, z} \in \RR \implies \tuple {y, z} \in \RR$
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.
(The Elements: Book $\text{I}$: Common Notions: Common Notion $1$)
However, Euclid did not delve deeply into the field of relation theory.
The concept of equivalence relations was a much later development.