Transitiva rilato

Transitiva rilato estas rilato tiel ke se ĝi estas por orda duopo $(x,y)$ kaj por duopo $(y,z)$, ĝi estas por duopo $(x,z)$ ankaŭ.

Duparta rilato $\varrho \subset X\times X$ oni nomas transitiva, tiam:

$\forall _{x,y,z\in X}\;x\;\varrho \;y\land y\;\varrho \;z\implies x\;\varrho \;z$.