>>303
まず、というより「離散位相がつねに距離化可能である」十分条件を与えればいいのでは？
十分条件は>>300
具体的ある距離を入れたら離散位相になった。
よって十分