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