Ostré uspořádání: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
m Portálové šablony dle doporučení (s pomocí dat od Dannyho B.) |
||
Řádek 7: | Řádek 7: | ||
== Související články == |
== Související články == |
||
⚫ | |||
* [[Uspořádání]] |
* [[Uspořádání]] |
||
⚫ | |||
[[Kategorie:Teorie množin]] |
[[Kategorie:Teorie množin]] |
||
[[Kategorie:Teorie uspořádání]] |
[[Kategorie:Teorie uspořádání]] |
Verze z 18. 1. 2011, 23:09
V matematice je ostré uspořádání taková binární relace, která je ireflexivní (antireflexivní), antisymetrická a tranzitivní. Pokud tedy tuto relaci značíme „⊂“, pak pro všechny prvky a, b a c z 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)
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.