T_0-space
A topological space fulfilling the T_0-separation axiom: For any two points x, y element X, there is an open set U such that x element U and y not element U or y element U and x not element U. Alexandroff and Hopf call T_0-spaces Kolmogorov spaces.