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

Smazaný obsah Přidaný obsah
Relace „být potomkem“ odporuje hned první požadované vlastnosti — reflexivitě, tedy se nejedná o neostré uspořádání.
Řádek 15:
Relace dělitelnosti | (a dělí b) je uspořádáním na [[přirozené číslo|přirozených]] číslech.
 
Naopak relace na množině osob „být potomkem“ '''není''' neostrým uspořádáním, protože nesplňuje vlastnost reflexivity. Relace je ireflexivní, asymetrická a tranzitivní, jedná se tedy o [[ostré uspořádání]].
Relace "Být potomkem" je uspořádáním na množině osob.
 
== Související články ==