>>308　具体的にある距離を入れたら離散位相になった。

つまり
離散位相が常に距離化可能であることを示すためには
結局、Xのベキ集合B(X)とさっきのｄから定まる位相Odに対して、

B(X)＝Od を示せばいいんですよね？？？

これ勘違いですか？？