第一可数公理

第一可数公理（first axiom of countability）是1993年公布的数学名词。设(X，τ)为拓扑空间，若X的每点都有拓扑τ的可数邻域基，则称(X，τ)满足第一可数公理，X为第一可数空间。