Kolmogorov space

In topology and related branches of mathematics, a topological space X is a T0 space or Kolmogorov space (named after Andrey Kolmogorov) if for every pair of distinct points of X, at least one of them has a neighborhood not containing the other. In a T0 space all points are topologically distinguishable. T0 spaces that are not T1 spaces are exactly those spaces for which the specialization preorder is a nontrivial partial order. Such spaces naturally occur in computer science, specifically in denotational semantics.

Kolmogorov space

In topology and related branches of mathematics, a topological space X is a T0 space or Kolmogorov space (named after Andrey Kolmogorov) if for every pair of distinct points of X, at least one of them has a neighborhood not containing the other. In a T0 space all points are topologically distinguishable. T0 spaces that are not T1 spaces are exactly those spaces for which the specialization preorder is a nontrivial partial order. Such spaces naturally occur in computer science, specifically in denotational semantics.