Uspořádání: Porovnání verzí
Smazaný obsah Přidaný obsah
m typo |
Bez shrnutí editace |
||
Řádek 1:
'''Uspořádání''' (přesněji '''neostré částečné uspořádání''' nebo též '''poset''' z anglického ''p''artially ''o''rdered ''set'') je [[matematika|matematický]] pojem z [[teorie uspořádání]]. Jde o [[binární relace|binární]] [[reflexivní relace|reflexivní]], [[slabě antisymetrická relace|slabě antisymetrická]] a [[Tranzitivní relace|tranzitivní]] [[Relace (matematika)|
* <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é)
| |||