Математическая энциклопедия
топологического пространства X- множество А, определяемое следующим свойством: каждое непустое открытое множество 
содержит непустое открытое множество 
такое, что 
. Другими словами, А- Н. не п. м., если оно не плотно ни в каком непустом открытом множестве.
М. И. Войцеховский.