可数性

设X为拓扑空间，若X有一个可数基，则称X为第二可数的。若对任意x∈X，邻域系N(x)有一个可数基，则称X为第一可数的。