Математикийн хувьд топологийн орон зайн дэд олонлогийг хаана ч нягт биш эсвэл хааж байгаа хэсэг нь хоосон дотоод хэсэгтэй бол ховор гэж нэрлэдэг. Маш сул утгаараа энэ нь элементүүд нь хаана ч нягт ороогүй олонлог юм. Жишээлбэл, бүхэл тоо реалуудын дунд нягт байдаггүй, харин нээлттэй бөмбөг тийм биш.
1 N хаана ч нягт биш үү?
Хаалтгүй хэдий ч хаана ч нягт биш олонлогийн жишээ бол {1n|
∈N}. Энэ нь багцад байхгүй нэг хязгаар цэгтэй (жишээ нь 0), гэхдээ {1n|n∈N}∪{0} дотор ямар ч нээлттэй интервал багтахгүй тул хаалт нь нягт хэвээр байна.
Багц нягт байхгүй гэдгийг яаж батлах вэ?
А-ийн хаалтын дотоод хэсэг хоосон байвал X-д A ⊆ X дэд олонлогийг хаана ч нягт биш гэж нэрлэдэг, өөрөөр хэлбэл (A)◦=∅. Өөрөөр хэлбэл, А нь хоосон дотоод хэсэгтэй хаалттай багцад агуулагдаж байвал хаана ч нягт биш юм. Нэмэлтүүд рүү шилжвэл, хэрэв нэмэлт нь нягт задгай олонлог агуулсан бол (яагаад?) A нь хаана ч нягт биш гэж хэлж болно.
Хаа сайгүй шигүү гэдэг нь юу гэсэн үг вэ?
Топологийн X орон зайн А дэд олонлог нь нягт бөгөөд хаалт нь X орон зайг бүхэлд нь илэрхийлнэ (зарим зохиогчид нэр томъёог хаа сайгүй нягт хэрэглэдэг). Нийтлэг өөр тодорхойлолт нь: X-ийн хоосон бус нээлттэй дэд олонлог бүрийг огтолж буй А олонлог юм.
Шүүг бүр нээлттэй байна уу?
Хоос хоосон нээлттэй олонлог бүр X-д нягт байвал топологийн орон зай нь хэт холбогдсон байна. Топологийн орон зай нь зөвхөн дараах тохиолдолд л дэд максималь болно.нягт дэд олонлог бүр нээлттэй байна.
