可分空间

可分空间是一类具有可数性质的拓扑空间。