king様　頭こんがらがってきました。（><）

まず、離散位相が常に距離化可能であることを示すのだから、
（X,O）を離散位相空間としますよね？
そしてそれが距離位相と一致することを示すのではないのですか？？