the cardinality of a dense subset of a topological space may be strictly smaller than the cardinality of the space itself.