>>287
そりゃそうだろ
距離空間は距離から導入される位相を入れるんだから
馬鹿なのか?