Es interesante destacar que formula_33 es claramente compacto por ser cerrado y subconjunto de un conjunto compacto.