Husto usporiadaná množina

Z Wikipédie

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.

[úprava] Príklady

[úprava] Vlastnosti

Iné jazyky