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 \and y \;\varrho\; z \implies x \;\varrho\; z$.