\begin{definition}[Definition:Density of Topological Space]
Let $T$ be a topological space.
The '''density''' of $T$ is the smallest cardinality of dense subset of $T$:
:$\map d T := \min \leftset{\card A: A \subseteq T \land A}$ is dense$\rightset{}$
\end{definition}