Dotamos a CP de la topología cociente, de modo que formula_3es abierto si y sólo si formula_4 lo es.