Transitiv relasjon

Ein binær relasjon R over ei mengd X er transitiv, viss det gjeld for alle a, b og c i X, at dersom a er relatert til b og b er relatert til c, er òg a relatert til c. I predikatlogikk skriv ein

${\displaystyle \forall a,b,c\in X,aRb\wedge bRc\Rightarrow aRc.}$

Sjå òg Transitive verb.

Døme på transitive relasjonar er «er større enn» og «er lik»: Viss a > b og b > c, så er òg a > c, og viss a = b og b = c, så er a = c.

Ein transitiv relasjon som òg er refleksiv og symmetrisk vert kalla ein ekvivalensrelasjon.