1679
правок
Изменения
Нет описания правки
$A$ '''всюду плотно''' в $(X, \rho)$, если $\mathrm{Cl} A = X$
: Например, $\mathbb{Q}$ всюду плотно в $\mathbb{R}$, так как $\mathrm{Cl} \mathbb{Q} = \mathbb{R}$ (TODO:ох, что бы это значило. Видимо, что множество действительных чисел строится включением пределов последовательностей рациональных.)
Если всюду плотное множество счетно, то пространство называют '''сепарабельным'''.