Noun
Kolmogorov space (plural Kolmogorov spaces)
(topology) A topological space for which any pair of distinct points are also topologically distinct, i.e., there is an open set which contains one of the points but not the other one.
The Kolmogorov quotient of any topological space is a Kolmogorov space.