D-space

Symbol-free definition
A D-space is a topological space satisfying the following condition. Consider any map that associates to each point, an open set of the space containing that point. Then, we can find a discrete subset of the space such that the union of the open sets corresponding to points in that discrete subset, is the whole space.

Stronger properties

 * Discrete space
 * compact T1 space