Transitiva rilato: Malsamoj inter versioj

[nekontrolita versio]

← Iru al antaŭa ŝanĝo Iru al sekvanta ŝanĝo →

Enhavo forigita Enhavo aldonita

Enteksta

Kiel registrite je 11:29, 16 mar. 2008

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.

@@ Linio 1: / Linio 1: @@
 '''Transitiva rilato''' estas [[rilato]] tiel ke se ĝi estas por [[orda duopo]] <math>(x,y)</math>
-kaj por duopo <math>(y,z)</math>, ĝi ests por duopo <math>(x,z)</math> ankaŭ.
+kaj por duopo <math>(y,z)</math>, ĝi estas por duopo <math>(x,z)</math> ankaŭ.
 Duparta rilato <math>\varrho \subset X\times X</math> oni nomas  ''transitiva'', tiam: