Es inmediato comprobar que la intersección de cerrados es un conjunto cerrado, que la unión de