Para esto es necesario el Axioma topológico que dice lo siguiente, si se quiere.