In matematica, e più precisamente in topologia, uno spazio T1 è uno spazio topologico che soddisfa il seguente assioma di separazione:
Per ogni coppia di punti distinti x e y esistono due aperti U e V tali che U contiene x e non y, mentre V contiene y e non x.