在数学中，一个拓扑空间被称为可分空间当它包含一个可数的稠密子集，也就是说，存在一个串行，使得此空间中的每个非空的开子集都有这个串行中的至少一个元素。

如可数性公理一样，可分性是一种对空间“大小”的“限制”，虽然这个限制并不一定就是对空间中元素多少的限制（然而在豪斯多夫公理成立的时候这两者是一样的）。特别地，可分空间中的每个连续函数，只要其图像是某个豪斯多夫空间的子集的话，就会被其在某个可数的稠密子集上的取值所确定。

一般来说，对于经典分析学和几何学中的空间来说，可分性是一个很有用的技术性假设，也被认为是比较弱的假设。

In mathematics a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.