Ontify
Topological space in which every pair of disjoint closed sets has disjoint open neighborhoods.