Uspořádaná množina: Porovnání verzí
Smazaný obsah Přidaný obsah
m robot přidal: pt:Conjunto parcialmente ordenado |
|||
Řádek 18:
# Relace < je ostré uspořádání na [[přirozené číslo|přirozených číslech]] i [[Reálné číslo|reálných číslech]].
# Relace <math> \subseteq </math> je neostré uspořádání na [[Potenční množina|potenční množině]] (množině všech podmnožin) libovolné množiny.
# Relace „být předkem“ na množině všech lidí je ostré uspořádání.
Všimněte si, že na rozdíl od prvního příkladu nejsou ve třetím a čtvrtém případě každé dva prvky množiny srovnatelné - neplatí <math> ( \forall x,y \isin a)(xRy \vee yRx)</math>. V takovém případě hovoříme o [[Částečně uspořádaná množina|částečném uspořádání]]. Pokud jsou každé dva různé prvky množiny porovnatelné, hovoříme o [[Úplné uspořádání|úplném uspořádání]]. To jsou příklady smysluplných a intuitivně „správných“ uspořádání. Do definice uspořádání se ale vejdou i podivnější případy:<br />
| |||