Dado un subconjunto "T" de P"(S)" podemos preguntar cuándo existe un filtro más pequeño "F" que contiene a "T".