第一可算的空間
数学の位相空間論において、第一可算空間（だいいちかさんくうかん、）とは、"第一可算公理"を満たす位相空間のこと。位相空間 "X" が第一可算公理を満たすとは「各点 "x" が高々可算な近傍からなる基本近傍系（局所基）をもつこと」を指す。すなわち"x" の可算個の開近傍 "U"1, "U"2, …で以下の性質を満たすものが存在するということである："x" の任意の近傍 "V" に対しあるformula_1 が存在し、"V"は "U""i"を部分集合として含む。