Puede tomarse como conjunto formula_139 la colección de filtros de Cauchy minimales (según la relación de inclusión) en formula_1 y como aplicación formula_153 la aplicación que hace corresponder a cada punto formula_41 la colección de entornos de formula_41 (la cúal se puede demostrar que es un filtro minimal).