>>330
> 距離空間の定義と、距離から定義した位相が
> 位相空間の定義を満たすことの証明
どういうこと?