一般化距離空間はけっこう面白いな。d(x, y) = 0 ⇔ x≦y または双対的に、d(x, y) = 0 ⇔ x≧y と定義すると順序構造ができる。普通の距離では、この順序は自明（離散順序）にしかならないが、一般化距離では自明でない例が作れる。また、順序構造に対して、距…