稠密な可算部分集合を持つ位相空間のことをseparableと言いますが、
なぜ可算であるというタイプの性質のことを、分離することができると称するのでしょうか。
御存じの方は教えて下さい。