abierto, isomorfismo topológico).