##### 可分空间 - 可分空间 - **可分空间**是指[[拓扑空间]]包含一个[[可数集|可数]]的[[稠密集|稠密子集]], 任何[[可数性公理|第二可数空间]]都是可分的