Ostré uspořádání: Porovnání verzí

Odebráno 6 bajtů ,  před 13 lety
m
Robot nahradil entity (WP:WCW)
m (Robot: opravy kategorií)
m (Robot nahradil entity (WP:WCW))
V [[matematika|matematice]] je '''ostré uspořádání''' taková [[binární relace]], která je [[ireflexivní relace|ireflexivní]], [[antisymetrická relace|antisymetrická]] a [[Tranzitivní relace|tranzitivní]]. Pokud tedy tuto relaci značíme „⊂“, pak pro všechny prvky ''a'', ''b'' a ''c'' z [[množina|množiny]] ''A'' (na které je tato relace definována) platí:
* ¬¬ (''a'' ⊂ ''a'') (ireflexivnost)
* (''a'' ⊂ ''b'') ⇒ ¬¬ (''b'' ⊂ ''a'') (antisymetrie)
* ''a'' ⊂ ''b'' ∧ ''b'' ⊂ ''c'' ⇒ ''a'' ⊂ ''c'' (tranzitivita)
 
34 224

editací