Equivalencia entre funciones continuas y conjuntos abiertos/cerrados (como las propiedades topológicas de los mapas de cierre)