数，只要其图像是某个豪斯多夫空间的子集的话，就会被其在某个可数的稠密子集上的取值所确定。一般来说，对于经典分析学和几何学中的空间来说，可分性是一个很有用的技术性假设，也被认为是比较弱的假设。
例子.首先，所有的由有限集或者可数集构成的空间都是可分空间。由不可数集所构成的拓扑空间中，一个可分空间的重要例子是由所有实数组成的实数集空间，因为所有的有理数在其中构成了一个可数的稠密子集。类似地，所有由向量formula_2 所构成的空间 formula_3也是可分空间，也即是说，所有的