Ontify
Topological space in which a point and a closed set are, if disjoint, separable by neighborhoods.
Wikidata
