Hierarchy:
Description:
{{topology}} 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.
Ngram:
Ngram Text:
regular space
Source:
Wiktionary
Issue:
0
Wiktionary tag:
Ngram Count:
2