位相空間
topological space
位相
+
空間
完備ハイティング代数
位相幾何学
、
トポロジー
（
topology
）
関数解析学
（
functional analysis
）
距離空間
（
metric space
）
位相空間 - Wikipedia
Topological space - Wikipedia