Definition:Density of Topological Space

Definition
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{}$