Vidi fonton por Transitiva rilato

'''Transitiva rilato''' estas [[rilato]] tiel ke se ĝi estas por [[orda duopo]] <math>(x,y)</math> 
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:
:<math>\forall_{x,y,z \in X}\; x \;\varrho\; y \land y \;\varrho\; z \implies x \;\varrho\; z</math>.

== Ekzemploj ==

== Vidu ankaŭ ==

{{ĝermo}}

[[Kategorio:Rilatoj]]