Eine Relation auf einer Menge ${\displaystyle {}M}$ heißt euklidisch, wenn zu ${\displaystyle {}x,y,z\in M}$ mit ${\displaystyle {}xRy}$ und ${\displaystyle {}xRz}$ stets ${\displaystyle {}yRz}$ gilt.