Tranitivna je ona binarna relacija za koju vrijedi, uz zadani skup S te binarnu relaciju R na skup S, tj.
R ⊆ S × S .
Često se običava umjesto ( x , y ) ∈ R {\displaystyle (x,y)\in R} pisati
x R y {\displaystyle xRy}
Relacija je tranzitivna ako je
( x R y ) ∧ ( y R z ) ⇒ x R z {\displaystyle (x{\mathcal {R))y)\land (y{\mathcal {R))z)\Rightarrow x{\mathcal {R))z} (ako je x {\displaystyle x} u relaciji sa y {\displaystyle y} , i y {\displaystyle y} u relaciji sa z {\displaystyle z} onda je x {\displaystyle x} i u relaciji sa z {\displaystyle z} )