Verze z 22. 5. 2007, 17:57 editovat 90.183.248.253 (diskuse) Bez shrnutí editace ← Přejít na předchozí porovnání		Verze z 22. 5. 2007, 18:51 editovat zrušit editaci Glivi (diskuse \| příspěvky) 3 556 editací zrušena verze od anonymního uživatele - vše už bylo v článku i před jeho "doplněním", typo - pomlčky Přejít na další porovnání →
Řádek 1: '''Uspořádání''' (přesněji '''neostré částečné uspořádání''') je [[matematika\|matematický]] pojem z [[teorie uspořádání]]. Je to [[binární relace\|binární]] [[reflexivní relace\|reflexivní]], [[slabě antisymetrická relace\|slabě antisymetrická]] a [[Tranzitivní relace\|tranzitivní]] [[Relace (matematika)\|relace]], tj. relace, pro kterou platí následující podmínky: <math>( \forall x \isin a)(xRx)</math> -– reflexivita (každý prvek je v relaci R sám se sebou) <math>( \forall x,y,z \isin a)((xRy \and yRz) \implies xRz)</math> -– tranzitivita (pokud je prvek množiny v uspořádání mezi jinými dvěma prvky, jsou tyto dva rovněž srovnatelné) *<math>( \forall x,y \isin a)((xRy \and yRx) \implies x = y)</math> -– slabá antisymetrie (neexistují cykly v uspořádání) ~~R⊆ M x M je relace na množině M.~~ ~~R je reflexivní, jestliže ∀a∈M (a,a)∈R;~~ ~~symetrická, jestliže (a,b)∈R ⇒ (b,a)∈R;~~ ~~tranzitivní, jestliže (a,b)∈R ∧ (b,c)∈R ⇒ (a,c)∈R;~~ ~~antisymetrická, jestliže (a,b)∈R ∧ (b,a)∈R ⇒ a=b.~~ ~~Relace je uspořádání, je-li reflexivní, antisymetrická a tranzitivní.~~ == Příklad ==

Uspořádání: Porovnání verzí