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