Searching for links to TopologicalSpace:
MetricSpace
OpenSet
Topology