Convergence of a filter
ID: convergence-of-a-filter
A filter on a set equipped with a topology converges to if it contains every neighbourhood of . A Hausdorff space gives every convergent filter at most one limit: disjoint neighbourhoods of distinct purported limits would have empty intersection in the filter.
New to topics? Read the docs here!