##### 可数性公理 - 可数性公理 - **可数性公理**是描述[[拓扑空间]]的[[可数集|可数性]]特征的重要工具, 主要包括第一可数公理和第二可数公理, 第一可数指对每个点都存在一个可数的邻域基, 第二可数指对每个点都存在一个可数的[[拓扑基]]