Probar que se trata de un conjunto abierto.