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.