定义 可数公理

自然语言

给定拓扑空间 $(X,\mathcal{O})$

$C_1$ 可数公理

若 $\forall x \in X$ ， $x$ 有可数邻域基
则称拓扑空间 $(X,\mathcal{O})$ 满足 $C_1$ 可数公理

$C_2$ 可数公理

若拓扑空间 $(X,\mathcal{O})$ 有可数拓扑基
则称拓扑空间 $(X,\mathcal{O})$ 满足 $C_2$ 可数公理