>>299神
レスしてくださってありがとうございます！！

距離は離散距離を定義しようと思います。
（X，O）：離散位相空間とする。
　任意のx，y∈Xに対して
ｄ(x,y)＝1　if x not y
d(x,y)=0 if x=y