Definition, synonyms and related words
A regular space with the additional property that for every disjoint pair of closed sets in that space, there is a disjoint pair of open sets which contain the closed sets, respectively.