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