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