Relation/Euklidisch/Definition

Euklidische Relation

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