A cardinal invariant: the density d(X) is the smallest cardinality of a dense subset of the topological space X.

Principle

A dense subset meets every nonempty open set; density measures how many points are minimally required to approximate the whole space by closure.

Demonstration

The rationals Q are a countable dense subset of R, so d(R)=ℵ0; a discrete space has density equal to its cardinality because the only dense subset is the whole space.

Misapplication

Confusing density with weight or assuming a dense set must be open are misuses; density concerns closure of a subset, not generation of the topology by a basis.

Consequence

Countable density is separability; low density often enables countable constructions and separable-function results, while high density indicates the need for large generating sets or many parameters.

Reversal

A space of large density lacks small dense sets; reversing the viewpoint emphasizes spaces where no small subset has dense closure and sequential approximation may fail.

Boundary

Density is a global invariant of topological spaces and does not capture local base sizes (character) nor measure-theoretic density concepts; it is set-theoretic, not measure-theoretic.

Semantic Tension

Density is sometimes mistaken for separability (the property of having countable density) or for weight; the tension is between minimal dense subsets and minimal bases generating opens.

Synthesis

Density quantifies the minimal number of points needed so that their closure is the whole space: a global measure of how 'thickly' points can approximate topology, distinct from base-related invariants.