Definition, synonyms and related words
A Hausdorff space with the additional property that for every closed set of that space and every point disjoint from that set, there are a disjoint pair of open sets which contain the closed set and the point, respectively.