Transitiva rilato

Estas neniuj versioj de ĉi tiu paĝo, do ĝi eble ne estis kvalite kontrolita.

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

.

Ekzemploj

Vidu ankaŭ

Ĉ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.