first-countable space
... finite set:有限集合; first-countable space:第一可数空间; first order logic:一阶逻辑; ...
第一可数空间是一类具有可数性质的拓扑空间。若拓扑空间X的任意点都有一个可数的邻域基,则称X满足第一可数性公理,或称X是第一可数空间。