Topological spaces where points can be distinguished by open sets (T1) or by the presence of a neighborhood (T0).