"d" をcの開集合とし、"e" ⊂ "d" を閉離散部分集合とする。