In topology and related branches of mathematics, a topological space X is a T₀ space or Kolmogorov space if for every pair of distinct points of X, at least one of them has a neighborhood not containing the other. In a T₀ space, all points are... Wikipedia