>>251
距離空間をマジメにやるには実数論の考え方が必要だろ。