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

Přidáno 165 bajtů ,  před 15 lety
oprava faktických chyb
m (ireflexivní)
(oprava faktických chyb)
V [[matematika|matematice]] je '''ostré uspořádání''' taková [[binární relace]], která je [[ireflexivní relace|ireflexivní]], [[antisymetrická relace|antisymetrická]] a [[transitivní relace|transitivní]]. 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'')⇒&not(''b''⊂''a'')
* ''a'' ⊂ ''b'' ∧ ''b'' ⊂ ''c'' ⇒ ''a'' ⊂ ''c'' (transitivita)
 
Příkladem této relace je „být podmnožinou“menší než“. Obecně se relace ''a'' ⊂ ''b'' čte ''a'' '''je menší než''' ''b'', nebo ''a'' '''ostře předchází před''' ''b''.
 
== Podívejte se také na ==
{{Portál matematika}}
* [[Uspořádání]]
 
[[Category:Teorie množin]]
3 556

editací