Transitiva rilato: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
e roboto aldono de: ar:علاقة متعدية |
e roboto modifo de: ast:Rellación transitiva; cosmetic changes |
||
| Linio 2: | Linio 2: | ||
kaj por duopo <math>(y,z)</math>, ĝi estas 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 |
Duparta rilato <math>\varrho \subset X\times X</math> oni nomas ''transitiva'', tiam: |
||
:<math>\forall_{x,y,z \in X}\; x \;\varrho\; y \and y \;\varrho\; z \implies x \;\varrho\; z</math>. |
:<math>\forall_{x,y,z \in X}\; x \;\varrho\; y \and y \;\varrho\; z \implies x \;\varrho\; z</math>. |
||
==Ekzemploj == |
== Ekzemploj == |
||
== Vidu ankaŭ == |
== Vidu ankaŭ == |
||
{{ĝermo}} |
{{ĝermo}} |
||
[[Kategorio:Rilatoj]] |
[[Kategorio:Rilatoj]] |
||
[[ar:علاقة متعدية]] |
[[ar:علاقة متعدية]] |
||
[[ast: |
[[ast:Rellación transitiva]] |
||
[[cs:Tranzitivní relace]] |
[[cs:Tranzitivní relace]] |
||
[[de:Transitivität (Mathematik)]] |
[[de:Transitivität (Mathematik)]] |
||
Kiel registrite je 20:40, 5 aŭg. 2008
Transitiva rilato estas rilato tiel ke se ĝi estas por orda duopo kaj por duopo , ĝi estas por duopo ankaŭ.
Duparta rilato oni nomas transitiva, tiam:
- .
