だいぶ挑戦的ですが、距離の性質（位相空間論）について書いてみました。
集合・位相空間要論を参考にしました。