Uspořádaná množina: Porovnání verzí
Smazaný obsah Přidaný obsah
→top: typo |
mBez shrnutí editace |
||
Řádek 1:
'''Uspořádaná množina''' je [[množina]], na které je definováno '''uspořádání'''.
Řádek 14 ⟶ 13:
* <math>( \forall x \isin a)( \neg(xRx)) </math> - antireflexivita (žádný prvek není v relaci sám se sebou)
=== Příklady ===
# Relace <math> \leq </math> je neostré uspořádání na [[přirozené číslo|přirozených číslech]] i reálných číslech.
# Relace < je ostré uspořádání na přirozených číslech i [[reálné číslo|reálných číslech]].
| |||