Verze z 1. 6. 2018, 07:41 editovat Kolarp (diskuse \| příspěvky) Prověření uživatelé 6 986 editací Poznámky k definici v perexu, značení, definice úplného a částečného uspořádání. ← Přejít na předchozí porovnání		Verze z 18. 11. 2018, 14:54 editovat zrušit editaci Texvc2LaTeXBot (diskuse \| příspěvky) 192 editací m Robot: náhrada zastaralé matematické syntaxe podle mw:Extension:Math/Roadmap Přejít na další porovnání →
Řádek 9: '''[[Uspořádání]]''' na množině ''A'' je [[binární relace]] '''R''', která je na ''A'' [[Reflexivní relace\|reflexivní]], [[Tranzitivní relace\|tranzitivní]] a [[Slabě antisymetrická relace\|slabě antisymetrická]], tj. 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~~land 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~~land yRx) \implies x = y)</math> – slabá antisymetrie (neexistují cykly v uspořádání) Toto uspořádání nazýváme také přesněji '''neostré uspořádání'''.

Uspořádaná množina: Porovnání verzí