La subbase "T" puede construirse tomando todas las intersecciones finitas de "T", el cual es entonces una base de filtro para "F".