En topología, dos puntos distintos son topológicamente distinguibles si existe un conjunto abierto donde se puede encontrar exactamente a uno de estos puntos. Un espacio topológico , X es Kolmogórov cuando todo par de ...