Verze z 13. 5. 2006, 10:18 (editovat) Dinybot (diskuse \| příspěvky) m (typobot: typografické korekce podle specifikace) ← Přejít na předchozí porovnání		Verze z 13. 6. 2006, 14:03 (editovat) (zrušit editaci) Esprit (diskuse \| příspěvky) m (ireflexivní) Přejít na další porovnání →
V [[matematika\|matematice]] je '''ostré uspořádání''' taková [[binární relace]], která je [[~~areflexivní~~ireflexivní relace\|~~areflexivní~~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'') (areflexivnost) * ''a'' ⊂ ''b'' &and; ''b'' ⊂ ''c'' ⇒ ''a'' ⊂ ''c'' (transitivita)

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

Ostré uspořádání (editovat)