＞５６

距離空間が入れば、位相空間は自動的にはいるんじゃないですか？
だから、ごっちゃにするというより、距離空間を定義したから位相空間は当然成立しているだろう、と。