ある位相空間が第二可算公理をみたす,あるいは第二可算な位相空間とは,高々可算個からなる開基をもつことを言います。すなわち,可算個の集合の集ま···