Всюду плотное множество

Атопологического пространства X - множество, определяемое свойством: [img: http://localhost:8080/file/010320-131.jpg], где [img: http://localhost:8080/file/010320-132.jpg] - замыкание множества А. Другими словами, в любом открытом в Xмножестве имеется хотя бы одна точка из множества А. Употребляется также термин "плотное множество". А. А. Мальцев.