Un conjunto formula_71 se dice que es cerrado si su complementario formula_72 es un conjunto