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:

${\mathrm{\forall }}_{x,y,z\in X}x\varrho y\wedge y\varrho z⟹x\varrho z$.