Un espacio topológico se dice que es
o espacio de Kolmogórov (o que cumple la propiedad de separación de Kolmogórov) si dados dos puntos distintos cualesquiera
del espacio, o bien existe un entorno
de forma que
o bien existe un entorno
Recibe su nombre de Andréi Kolmogórov.