Editing Filter (mathematics) (section)

=== Neighborhood bases ===
Any point&nbsp;{{Mvar|x}} in the topological space&nbsp;{{Mvar|X}} defines a [[Neighbourhood system|neighborhood filter or system]]&nbsp;{{Math|{{mathcal|N}}<sub>''x''</sub>}}: namely, the family of all sets containing {{Mvar|x}} in their [[Interior (topology)|interior]].  A set&nbsp;{{Math|{{mathcal|N}}}} of neighborhoods of {{Mvar|x}} is a [[neighbourhood base|neighborhood base]] at {{Mvar|x}} if {{Math|{{mathcal|N}}}} generates {{Math|{{mathcal|N}}<sub>''x''</sub>}}.  Equivalently, {{Math|''S'' &subseteq; ''X''}} is a neighborhood of {{Mvar|x}} if and only if there exists {{Math|''N'' &isin; {{mathcal|N}}}} such that {{Math|''N'' &subseteq; ''S''}}.

==== Convergent filters and cluster points ====
A prefilter&nbsp;{{Mvar|B}} [[Convergent prefilter|converges]] to a point&nbsp;{{Mvar|x}}, written {{Math|''B'' &rarr; ''x''}}, if and only if {{Mvar|B}} generates a filter&nbsp;{{Mvar|F}} that contains the neighborhood filter {{Math|{{mathcal|N}}<sub>''x''</sub>}}&nbsp;— explicitly, for every neighborhood&nbsp;{{Mvar|U}} of {{Mvar|x}}, there is some {{Math|''V'' &isin; ''B''}} such that {{Math|''V'' &subseteq; ''U''}}.  Less explicitly, {{Math|''B'' &rarr; ''x''}} if and only if {{Mvar|B}} refines {{Math|{{mathcal|N}}<sub>''x''</sub>}}, and any neighborhood base at {{Mvar|x}} can replace {{Math|{{mathcal|N}}<sub>''x''</sub>}} in this condition.  Clearly, every [[neighbourhood base|neighborhood base]] at {{Mvar|x}} converges to {{Mvar|x}}.

A filter&nbsp;{{Mvar|F}} (which generates itself) converges to {{Mvar|x}} if {{Math|{{mathcal|N}}<sub>''x''</sub> &subseteq; ''F''}}.  The above can also be reversed to characterize the neighborhood filter {{Math|{{mathcal|N}}<sub>''x''</sub>}}: {{Math|{{mathcal|N}}<sub>''x''</sub>}} is the finest filter coarser than each filter converging to {{Mvar|x}}.

If {{Math|''B'' &rarr; ''x''}}, then {{Mvar|x}} is called a [[Limit of a filter|limit]] (point) of {{Mvar|B}}.  The prefilter {{Mvar|B}} is said to cluster at {{Mvar|x}} (or have {{Mvar|x}} as a [[Cluster point of a filter|cluster point]]) if and only if each element of {{Mvar|B}} has non-empty intersection with each neighborhood of {{Mvar|x}}.  Every limit point is a cluster point but the converse is not true in general. However, every cluster point of an {{em|ultra}}filter is a limit point.