Transitiva rilato

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

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.

Ekzemploj[redakti | redakti fonton]

Vidu ankaŭ[redakti | redakti fonton]