Ostré uspořádání: Porovnání verzí
Smazaný obsah Přidaný obsah
m popisek |
m oprava odkazu na rozcestník nebo redirect, Transitivní relace → Tranzitivní relace |
||
Řádek 1:
V [[matematika|matematice]] je '''ostré uspořádání''' taková [[binární relace]], která je [[ireflexivní relace|ireflexivní]], [[antisymetrická relace|antisymetrická]] a [[
* ¬ (''a'' ⊂ ''a'') (ireflexivnost)
* (''a'' ⊂ ''b'') ⇒ ¬ (''b'' ⊂ ''a'') (antisymetrie)
* ''a'' ⊂ ''b'' ∧ ''b'' ⊂ ''c'' ⇒ ''a'' ⊂ ''c'' (
Příkladem této relace je „být menší než“. Obecně se relace ''a'' ⊂ ''b'' čte ''a'' '''je menší než''' ''b'', nebo ''a'' '''ostře předchází před''' ''b''.
| |||