第一可算とは,各点が高々可算な基本近傍系をもつ位相空間,すなわち可算個の近傍で各点周りの開集合が記述できるような空間です。第一可算な空間は,···