Transitiva rilato

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

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

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

Ĉi tiu artikolo ankoraŭ estas ĝermo. Helpu al Vikipedio plilongigi ĝin. Se jam ekzistas alilingva samtema artikolo pli disvolvita, traduku kaj aldonu el ĝi (menciante la fonton). Bonvolu aldoni parametron por plibone kategoriigi la paĝon.