被认为是比较弱的假设。
例子.首先，所有的由有限集或者可数集构成的空间都是可分空间。由不可数集所构成的拓扑空间中，一个可分空间的重要例子是由所有实数组成的实数集空间，因为所有的有理数在其中构成了一个可数的稠密子集。类似地，所有由向量formula_2 所构成的空间 formula_3也是可分空间，也即是说，所有的有限维欧几里德空间都是可分的。不可分空间的一个简单例子是基数不可数的离散空间。
可分性与第二可数性.每个第二可数空间都是可分的: 如果 for