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. Eine nicht transitive Relation heißt intransitiv. Die Transitivität ist eine der Voraussetzungen für eine Äquivalenzrelation oder eine Ordnungsrelation.