＞71

すいません。集合に「距離」が入る、という言い方をすべきです。
集合に「距離」が入ると距離空間。集合に「位相」が入ると位相空間。
前者が成立すれば、後者は成立します。