How "thin" can a subset of a [topological space](/page/Topology) be? The question has two distinct answers depending on whether one measures size by **measure** or by **topology**. A set of [Lebesgue measure](/page/Lebesgue%20Measure) zero can still be [dense](/page/Dense%20Subset) — the [rationals](/page/Rational%20Number) $\mathbb{Q}$ have measure zero in $\mathbb{R}$ yet meet every open interval. A measure-zero set can be topologically large. The notion of **nowhere dense set** captures the opposite extreme: a set that is topologically negligible, so sparse that its [closure](/page/Closure) fails to contain even the smallest open region. Where a dense set intrudes into every open set, a nowhere dense set can be completely avoided within every open set.

The distinction between "measure-theoretically thin" and "topologically thin" is not academic. It governs two of the most powerful impossibility arguments in analysis. The [Baire Category Theorem](/page/Baire%20Category%20Theorem) shows that a [complete metric space](/page/Complete%20Metric%20Space) cannot be expressed as a countable union of nowhere dense sets — a topological statement that has no analogue in measure theory (where a full-measure set can be a countable union of measure-zero sets). Conversely, the [Cantor set](/page/Cantor%20Set) is nowhere dense and has measure zero, but a "fat" Cantor set is nowhere dense and has positive measure. The two notions of smallness are genuinely independent.

[example: A Set That Cannot Be Avoided] Consider $\mathbb{Q} \subset \mathbb{R}$ with the standard topology. The rationals are dense: every open interval $(a, b)$ with $a < b$ contains a rational number (by the [Archimedean property](/page/Archimedean%20Property)). Is $\mathbb{Q}$ topologically thin? The closure is $\overline{\mathbb{Q}} = \mathbb{R}$, and $\operatorname{int}(\overline{\mathbb{Q}}) = \operatorname{int}(\mathbb{R}) = \mathbb{R} \neq \varnothing$. So $\mathbb{Q}$ is **not** nowhere dense — its closure has nonempty interior (in fact, the interior of its closure is all of $\mathbb{R}$). Despite being countable and having measure zero, $\mathbb{Q}$ is topologically "thick" enough that its closure fills the entire line. Now consider $\mathbb{Z} \subset \mathbb{R}$. The closure is $\overline{\mathbb{Z}} = \mathbb{Z}$ (the integers are already [closed](/page/Closed%20Set) — each integer $n$ is isolated by the open set $(n - 1/2, n + 1/2) \cap \mathbb{Z} = \{n\}$). The interior of $\mathbb{Z}$ is empty: no open interval $(a,b)$ with $a < b$ is contained in $\mathbb{Z}$, because any such interval contains non-integer real numbers. So $\operatorname{int}(\overline{\mathbb{Z}}) = \varnothing$, and $\mathbb{Z}$ is nowhere dense. The contrast is instructive. Both $\mathbb{Q}$ and $\mathbb{Z}$ are countable, both have Lebesgue measure zero, but $\mathbb{Q}$ is dense while $\mathbb{Z}$ is nowhere dense. The difference lies entirely in how they interact with open sets: the rationals infiltrate every interval, while the integers leave gaps that open intervals can exploit. [/example]

## Definition

The definition of a nowhere dense set involves two steps — first take the closure (to account for limit points), then check whether the result contains any open set. Taking the closure is essential: without it, the notion would conflate topological thinness with the failure to be closed. The set $\{1/n : n \in \mathbb{N}\}$ has empty interior in $\mathbb{R}$, but so does $\mathbb{Q}$, and the two sets have radically different topological behaviour. Taking the closure before checking the interior separates these cases: the closure of $\{1/n\}$ is $\{0\} \cup \{1/n : n \in \mathbb{N}\}$, which still has empty interior, while the closure of $\mathbb{Q}$ is all of $\mathbb{R}$.

[definition: Nowhere Dense Set] Let $(X, \tau)$ be a [topological space](/page/Topology) and let $A \subset X$. The set $A$ is **nowhere dense** in $X$ if the [interior](/page/Interior) of its [closure](/page/Closure) is empty: \begin{align*} \operatorname{int}(\overline{A}) = \varnothing. \end{align*} [/definition]

A set $A$ is nowhere dense precisely when $\overline{A}$ contains no nonempty open set. Since the interior of a set is the largest open set it contains, $\operatorname{int}(\overline{A}) = \varnothing$ means that $\overline{A}$ — even after adding all limit points of $A$ — remains too sparse to swallow any open region.

An immediate consequence of the definition is that every subset of a nowhere dense set is nowhere dense. If $B \subset A$ and $A$ is nowhere dense, then $\overline{B} \subset \overline{A}$, so $\operatorname{int}(\overline{B}) \subset \operatorname{int}(\overline{A}) = \varnothing$.

## Equivalent Characterisations

The definition involves a two-step operation — closure, then interior — which makes direct verification cumbersome. In practice, one rarely computes $\operatorname{int}(\overline{A})$ explicitly. Instead, one uses equivalent characterisations that are more amenable to the arguments at hand. The most useful characterisations rephrase "nowhere dense" as a condition on the complement, a condition on open subsets, or a density condition.

[quotetheorem:1084]

Each characterisation captures a different aspect of topological thinness.

Characterisation (ii) gives a global perspective: $A$ is nowhere dense if and only if after removing $A$ and all its limit points from $X$, what remains is still dense. The "holes" that $\overline{A}$ punches in $X$ do not isolate any open region from the complement. This is the characterisation most useful in arguments involving the [Baire Category Theorem](/page/Baire%20Category%20Theorem), where one works with complements of closed nowhere dense sets, which are precisely the dense open sets.

Characterisation (iii) is the workhorse for direct verification. It says that $A$ can be "locally avoided": within any open region, no matter how small, there is a sub-region that misses $A$ entirely. This is the formal negation of density — a dense set meets every nonempty open set, while a nowhere dense set can be dodged within every nonempty open set.

The equivalence of (iii) and (iv) reveals that the closure step in the definition is automatically enforced by the "open subset" quantifier. To see why (iii) implies (iv), suppose $H$ is a nonempty open set with $H \cap A = \varnothing$. We claim $H \cap \overline{A} = \varnothing$ as well. If some point $p$ belonged to both $H$ and $\overline{A}$, then $H$ would be an open neighbourhood of $p$ disjoint from $A$ — but the [neighbourhood characterisation of closure](/page/Closure) requires every open neighbourhood of a point in $\overline{A}$ to meet $A$. This contradiction shows $H \cap \overline{A} = \varnothing$. In short: an open set that avoids $A$ automatically avoids $\overline{A}$.

[remark: Closed Nowhere Dense Sets] When $A$ is itself closed, the definition simplifies: $A$ is nowhere dense if and only if $\operatorname{int}(A) = \varnothing$, because $\overline{A} = A$. For closed sets, "nowhere dense" and "having empty interior" are the same condition. For non-closed sets, these conditions differ: the set $(0,1) \cap \mathbb{Q}$ has empty interior in $\mathbb{R}$, but it is not nowhere dense because $\overline{(0,1) \cap \mathbb{Q}} = [0,1]$ and $\operatorname{int}([0,1]) = (0,1) \neq \varnothing$. [/remark]

## Nowhere Dense Sets in $\mathbb{R}$

The real line provides a rich collection of examples that reveal the boundaries of the concept — what qualifies as nowhere dense, what does not, and how nowhere denseness interacts with other properties like cardinality, measure, and closure.

### Discrete and Isolated Sets

The simplest nowhere dense sets are those whose points are "spread apart." If every point of $A$ is isolated — surrounded by a neighbourhood containing no other point of $A$ — then $A$ is closed (its complement is open) and has empty interior, hence is nowhere dense. The integers $\mathbb{Z}$, the set $\{1/n : n \in \mathbb{N}\}$, and any finite subset of $\mathbb{R}$ fall into this category.