Un espacio topológico se dice que es formula_1 o espacio de Kolmogórov (o que cumple la propiedad de separación de Kolmogórov) si dados dos puntos distintos cualesquiera formula_2 e formula_3 del espacio, o bien existe un entorno formula_4 de formula_2 de forma que formula_6 o bien existe un entorno formula_7 de formula_3 de forma que formula_9.