transitive Relation

Eine transitive Relation ist in der Mathematik eine zweistellige Relation auf einer Menge, die die Eigenschaft hat, dass für drei Elemente , , dieser Menge aus und stets folgt. Beispiele für transitive Relationen sind die Gleich- und die Kleiner-Relationen auf den reellen Zahlen, denn für drei reelle Zahlen , und mit und gilt immer auch , und aus und folgt . Eine nicht transitive Relation heißt intransitiv (nicht zu verwechseln mit negativer Transitivität). Die Transitivität ist eine der Voraussetzungen für eine Äquivalenzrelation oder eine Ordnungsrelation.