In topology and related branches of mathematics, a T₁ space is a topological space in which, for every pair of distinct points, each has a neighborhood not containing the other point. An R₀ space is one in which this holds for every pair of... Wikipedia