Por lo que podemos definir una topología formada por los complementos de los conjuntos en formula_1.