Kolmogorov

{{context|of a topological space}} Such that any two distinct points are topologically distinguishable, i.e., there is an open set containing one of the points which does not contain the other point.