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

Odebrány 3 bajty ,  před 16 lety
m
tranzitivita: sub
(areflexivnost)
m (tranzitivita: sub)
V [[matematika|matematice]] je '''ostré uspořádání''' taková [[binární relace]], která je [[areflexivní relace|areflexivní]] 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'') (areflexivnost)
* ''a'' &subesub; ''b'' ∧ ''b'' &subesub; ''c'' ⇒ ''a'' &subesub; ''c'' (transitivita)
 
Příkladem této relace je "být podmnožinou". Obecně se relace ''a'' ⊂ ''b'' čte ''a'' '''je menší než''' ''b'', nebo ''a'' '''ostře předchází před''' ''b''.