Kolmogorov space in Polish

(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.