El siguiente lema muestra que la condición sobre los abiertos de la topología cociente tiene una contrapartida equivalente con cerrados.