El filtro principal para formula_16 viene dado por el conjunto formula_19 denotado por formula_20.