Математическая энциклопедия
Атопологического пространства X - множество, определяемое свойством: 
, где 
- замыкание множества А. Другими словами, в любом открытом в Xмножестве имеется хотя бы одна точка из множества А. Употребляется также термин "плотное множество". А. А. Мальцев.