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

Velikost nezměněna ,  před 16 lety
m
ireflexivní
m (ireflexivní)
m (ireflexivní)
V [[matematika|matematice]] je '''ostré uspořádání''' taková [[binární relace]], která je [[ireflexivní relace|ireflexivní]] 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'') (areflexivnostireflexivnost)
* ''a'' ⊂ ''b'' ∧ ''b'' ⊂ ''c'' ⇒ ''a'' ⊂ ''c'' (transitivita)
 
338

editací