Para cada "entourage" simétrico formula_13 en formula_1, sea formula_160 el conjunto de todos los pares formula_161 de filtros de Cauchy minimales que tienen en común al menos un elemento de formula_13.