違いを除いて
という普遍性を持つ。空間 は等距変換の違いを除いて、この普遍性によって決まり、 の完備化と呼ばれる。