In mathematics, a topological space ${\displaystyle X}$ is a D-space if for any family ${\displaystyle \{U_{x}:x\in X\}}$ of open sets such that ${\displaystyle x\in U_{x}}$ for all points ${\displaystyle x\in X}$, there is a closed discrete subset ${\displaystyle D}$ of the space ${\displaystyle X}$ such that ${\displaystyle \bigcup _{x\in D}U_{x}=X}$.

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages) This article needs additional citations for verification. (January 2017) This article may be too technical for most readers to understand. (January 2017)

The notion of D-spaces was introduced by Eric Karel van Douwen and E.A. Michael. It first appeared in a 1979 paper by van Douwen and Washek Frantisek Pfeffer in the Pacific Journal of Mathematics.^[1] Whether every Lindelöf and regular topological space is a D-space is known as the D-space problem. This problem is among twenty of the most important problems of set theoretic topology.^[2]

• Every Menger space is a D-space.^[3]
• A subspace of a topological linearly ordered space is a D-space iff it is a paracompact space.^[4]