Con ello tendremos que un filtro formula_7 sobre un conjunto formula_1 es un conjunto de subconjuntos de formula_1 con las siguientes propiedades: