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!