22 151
editací
Lineární uspořádání: Porovnání verzí
m
oprava odkazu na rozcestník nebo redirect, Transitivní relace → Tranzitivní relace
m (oprava odkazu na rozcestník nebo redirect, Tranzitivní relace → Transitivní relace) |
m (oprava odkazu na rozcestník nebo redirect, Transitivní relace → Tranzitivní relace) |
||
|
Předpokládejme, že máme relaci <math> R \,\! </math> na [[Množina|množině]] <math> X \,\! </math>, a <math> a,b,c \isin X \,\! </math> jsou nějaké její libovolné prvky. Abychom mohli prohlásit tuto relaci za lineární uspořádání množiny <math> X \,\! </math>, musí být splněny tyto podmínky:
# [[
# [[Antireflexivní relace|antireflexivita]]: pro žádný prvek nesmí platit <math> aRa \,\! </math>
# [[Antisymetrická relace|antisymetrie]]: <math> aRb \implies \neg bRa \,\! </math>
| |||