Una base de filtro es un subconjunto formula_38 de formula_45 con las siguientes propiedades: