>>172
d(x,x) = 0
d(x,y) = 1 (x≠y)

の時は?