Husto usporiadaná množina

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

Husto usporiadaná množina je taká usporiadaná množina, v ktorej relácia usporiadania, v istom zmysle, nepripúšťa existenciu "medzier". Presne je husto usporiadaná množina definovaná ako taká usporiadaná množina

(P,\le)

v ktorej pre každé dva jej prvky x,y spĺňajúce x<y existuje prvok z taký, že x<z<y. Relácii usporiadania \le sa v takom prípade hovorí husté usporiadanie.

Príklady[upraviť | upraviť zdroj]

Vlastnosti[upraviť | upraviť zdroj]