Se dice que un filtro base "B" converge a "x", denotado como "B" → "x" o formula_29, si para todo entorno "U" de "x", existe un "B" ∈ "B" tal que "B" ⊆ "U".