Verze z 15. 1. 2007, 03:37 editovat SinBot (diskuse \| příspěvky) 22 151 editací m oprava odkazu na rozcestník nebo redirect, Tranzitivní relace → Transitivní relace ← Přejít na předchozí porovnání		Verze z 16. 1. 2007, 00:44 editovat zrušit editaci SinBot (diskuse \| příspěvky) 22 151 editací m oprava odkazu na rozcestník nebo redirect, Transitivní relace → Tranzitivní relace 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 [[~~Transitivní~~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é)

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