La clausura de formula_4 es también la intersección de todos los conjuntos cerrados que contienen a formula_4.