距離空間の開集合が位相空間の開集合の定義を満たすことを理解しました
ε近傍が開集合になるのも分かりました