Ontify
Topological space in which two disjoint closed sets, at least one of which is countable, are separable by neighborhoods.