Плотное множество


Пло́тное мно́жество — подмножество пространства, точками которого можно сколь угодно хорошо приблизить любую точку объемлющего пространства. Формально говоря, плотно в , если всякая окрестность любой точки из содержит элемент из .