Пло́тность топологи́ческого простра́нства, наименьшая из мощностей всевозможных всюду плотных  его подмножеств, один из важнейших кардинальных инвариантов топологических пространств. Более подробно: плотность $𝑑(𝑋)$ топологического пространства $X$определяется как величина $d(X)=\min\{\left|A\right| :\text{$A$ всюду плотно в $X$}\}.$Таким образом, условие $𝑑(𝑋) \leqslant\mathfrak m$ (где $\mathfrak m$ – кардинальное число) равносильно следующему: найдётся всюду плотное в $X$ множество $A$, мощность которого не превосходит $\mathfrak m$.

Плотность пространства не повышается непрерывными отображениями, т. е. если $𝑓\colon X\to Y$ – непрерывное сюръективное отображение, то $d(Y)\leqslant d(X)$.

Если $d(X)\leqslant\aleph_0$, то говорят, что пространство $X$ сепарабельно.

Плотность топологического пространства $X$ не превосходит его веса, т. е. $d(X)\leqslant w(X)$; это неравенство может строгим: например, плоскость Немыцкого сепарабельна, но её вес равен $\mathfrak c$ (мощности континуума).

В отличие от веса и характера, плотность не является наследственным свойством топологических пространств, т. е. плотность пространства может оказаться строго меньше плотности некоторого его подпространства. Так, плоскость Немыцкого сепарабельна, но содержит подпространство $L$, гомеоморфное дискретному пространству $D(\mathfrak c)$ мощности континуума; плотность пространства $L$ равна $\mathfrak c$. Топологическое пространство называется наследственно сепарабельным, если любое его подпространство сепарабельно. Для метризуемых пространств свойство «плотность $\leqslant\mathfrak m$» наследственно, т. е. если $X$ – метризуемое пространство и $d(X)\leqslant\mathfrak m$, то $d(A)\leqslant\mathfrak m$ для каждого $A\subset X$; в частности, сепарабельное метризуемое пространство наследственно сепарабельно.

В общей топологии (из соображений упрощения формулировок и доказательств), как правило, плотность определяют в предположении только бесконечных значений, т. е. в качестве плотности топологического пространства вместо $d(X)$ рассматривают величину $\max\{d(X), \aleph_0\}$; иными словами, при этом модифицированном определении плотность топологического пространства $X$ равна наименьшему из бесконечных кардиналов $\mathfrak m$, таких, что найдётся всюду плотное в $X$ множество $A$, мощность которого не превосходит $\mathfrak m$.