Sākums
Binārā attiecība \(R\) ir transitīva, ja katriem \(a,b,c \in X\), no \(aRb\) un \(bRc\) vienmēr seko arī \(aRc\). Piemēram, ja cilvēks \(a\) ir sencis cilvēkam \(b\), bet \(b\) ir sencis priekš \(c\), tad \(a\) ir sencis arī priekš \(c\).