具有可数稠密子集的拓扑空间。一个例子是具有欧几里得拓扑的欧几里得空间 
，因为它具有有理数格 
作为可数稠密子集，并且很容易证明每个开 
-球都包含一个坐标全为有理数的点。
可分空间
另请参阅
希尔伯特立方, 乌雷松度量化定理此条目由 Margherita Barile 贡献
使用 Wolfram|Alpha 探索
引用为
Barile, Margherita. "Separable Space." 来自 MathWorld--Wolfram 网络资源，由 Eric W. Weisstein 创建。 https://mathworld.net.cn/SeparableSpace.html