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 e del espacio, o bien existe un entorno de de forma que o bien existe un entorno de de forma que .