Transitiv relasjon

Hvis det for alle x, y, z er slik at hvis ⟨x,y⟩ ∈ R og ⟨y,z⟩ ∈ R, så ⟨x,z⟩ ∈ R. Alt du kan gjøre i to steg, kan du også gjøre i ett steg