第一可數空間 在拓撲學上第一可數空間Firstcountable space是指有可數的邻域基的拓撲空間即對於 x  X displaystyle xin X 存在 x displaystyle x 的開鄰域序列 U   U   U      displaystyle UUU 使得對於任意的鄰域 V displaystyle V 存在整數 i displaystyle i 使得 U i  V displaystyle Uisubseteq V