位相空間の部分集合が,稠密(ちゅうみつ)であるとは,閉包が全体集合に一致することを言い,可分であるとは,高々可算な稠密部分集合を持つ位相空間···