Porządek ciągły
Z Wikipedii, wolnej encyclopedia
Porządek ciągły – własność porządków liniowych po raz pierwszy rozważana przez Richarda Dedekinda w 1872[1]; jest ona wzmocnieniem zupełności i w terminach topologicznych jest równoważna spójności topologii przedziałowej.