View source for Filters in topology

{{very long|date=November 2022}}
{{Short description|Use of filters to describe and characterize all basic topological notions and results.}}
[[File:Filter vs ultrafilter.svg|thumb|The power set lattice of the set <math>X := \{1, 2, 3, 4\},</math> with the [[upper set]] <math>\{1, 4\}^{\uparrow X}</math> colored dark green. It is a {{em|filter}}, and even a {{em|principal filter}}. It is not an {{em|ultrafilter}}, as it can be extended to the larger proper filter <math>\{1\}^{\uparrow X}</math> by including also the light green elements. Because <math>\{1\}^{\uparrow X}</math> cannot be extended any further, it is an ultrafilter.]] 
'''Filters in [[topology]]''', a subfield of [[mathematics]], can be used to study [[topological space]]s and define all basic topological notions such as [[convergence (topology)|convergence]], [[Continuous map (topology)|continuity]], [[Compact space|compactness]], and more. [[Filter (set theory)|Filters]], which are special [[Family of sets|families]] of [[subset]]s of some given set, also provide a common framework for defining various types of [[Limit of a function|limits of functions]] such as limits from the left/right, to infinity, to a point or a set, and many others. Special types of filters called {{em|[[Ultrafilter (set theory)|ultrafilter]]s}} have many useful technical properties and they may often be used in place of arbitrary filters.

Filters have generalizations called {{em|prefilters}} (also known as {{em|filter bases}}) and {{em|filter subbases}}, all of which appear naturally and repeatedly throughout topology. Examples include [[Neighbourhood system|neighborhood filters]]/[[Neighborhood base|bases/subbases]] and [[Uniform space|uniformities]]. Every filter is a prefilter and both are filter subbases. Every prefilter and filter subbase is contained in a unique smallest filter, which they are said to {{em|generate}}. This establishes a relationship between filters and prefilters that may often be exploited to allow one to use whichever of these two notions is more technically convenient. There is a certain [[preorder]] on families of sets (subordination), denoted by <math>\,\leq,\,</math> that helps to determine exactly when and how one notion (filter, prefilter, etc.) can or cannot be used in place of another. This preorder's importance is amplified by the fact that it also defines the notion of filter convergence, where by definition, a filter (or prefilter) <math>\mathcal{B}</math> {{em|converges}} to a point if and only if <math>\mathcal{N} \leq \mathcal{B},</math> where <math>\mathcal{N}</math> is that point's [[Neighbourhood system|neighborhood filter]]. Consequently, subordination also plays an important role in many concepts that are related to convergence, such as [[#Cluster point|cluster point]]s and limits of functions. In addition, the [[Binary relation|relation]] <math>\mathcal{S} \geq \mathcal{B},</math> which denotes <math>\mathcal{B} \leq \mathcal{S}</math> and is expressed by saying that <math>\mathcal{S}</math> {{em|is subordinate to}} <math>\mathcal{B},</math> also establishes a relationship in which <math>\mathcal{S}</math> is to <math>\mathcal{B}</math> as a subsequence is to a sequence (that is, the relation <math>\geq,</math> which is called {{em|subordination}}, is for filters the analog of "is a subsequence of"). 

Filters were introduced by [[Henri Cartan]] in 1937{{sfn|Cartan|1937a|p=}} and subsequently used by [[Nicolas Bourbaki|Bourbaki]] in their book {{em|[[Topologie Générale]]}} as an alternative to the similar notion of a [[Net (mathematics)|net]] developed in 1922 by [[E. H. Moore]] and [[H. L. Smith]]. 
Filters can also be used to characterize the notions of [[sequence]] and [[Net (mathematics)|net]] convergence. But unlike<ref group=note>Sequences and nets in a space <math>X</math> are maps from [[directed set]]s like the [[natural number]]s, which in general maybe entirely unrelated to the set <math>X</math> and so they, and consequently also their notions of convergence, are not intrinsic to <math>X.</math></ref> sequence and net convergence, filter convergence is defined {{em|entirely}} in terms of subsets of the topological space <math>X</math> and so it provides a notion of convergence that is completely intrinsic to the topological space; indeed, the [[category of topological spaces]] can be [[Neighborhood characterization of topological spaces|equivalently defined entirely in terms of filters]]. Every net induces a canonical filter and dually, every filter induces a canonical net, where this induced net (resp. induced filter) converges to a point if and only if the same is true of the original filter (resp. net). This characterization also holds for many other definitions such as cluster points. These relationships make it possible to switch between filters and nets, and they often also allow one to choose whichever of these two notions (filter or net) is more convenient for the problem at hand. 
However, assuming that "[[Subnet (mathematics)|subnet]]" is defined using either of its most popular definitions (which are those [[#Willard-subnet|given by Willard]] and [[#Kelley-subnet|by Kelley]]), then in general, this relationship does {{em|not}} extend to subordinate filters and subnets because as [[#Subnets|detailed below]], there exist subordinate filters whose filter/subordinate-filter relationship cannot be described in terms of the corresponding net/subnet relationship; this issue can however be resolved by using a less commonly encountered definition of "subnet", which is that of an [[#AA-subnet|AA-subnet]].

Thus filters/prefilters and this single preorder <math>\,\leq\,</math> provide a framework that seamlessly ties together fundamental topological concepts such as [[Category of topological spaces|topological spaces]] ([[Neighborhood characterization of topological spaces|via neighborhood filters]]), [[neighborhood base]]s, [[#Convergent filter|convergence]], [[#Limit of a function|various limits of functions]], continuity, [[Compact space|compactness]], sequences (via [[#sequential filter|sequential filter]]s), the filter equivalent of "subsequence" (subordination), [[uniform space]]s, and more; concepts that otherwise seem relatively disparate and whose relationships are less clear.

{{TOCLimit}}

==Motivation==

'''Archetypical example of a filter'''

{{See also|Filter (set theory)}}

The [[wiktionary:archetypical|archetypical]] example of a filter is the [[Neighbourhood filter|{{em|neighborhood filter}}]] <math>\mathcal{N}(x)</math> at a point <math>x</math> in a topological space <math>(X, \tau),</math> which is the [[family of sets]] consisting of all neighborhoods of <math>x.</math> 
By definition, a [[Neighbourhood (mathematics)|neighborhood of some given point]] <math>x</math> is any subset <math>B \subseteq X</math> whose [[Interior (topology)|topological interior]] contains this point; that is, such that <math>x \in \operatorname{Int}_X B.</math> Importantly, neighborhoods are {{em|not}} required to be open sets; those are called {{em|open neighborhoods}}. 
Listed below are those fundamental properties of neighborhood filters that ultimately became the definition of a "filter." 
A {{em|filter on <math>X</math>}} is a set <math>\mathcal{B}</math> of subsets of <math>X</math> that satisfies all of the following conditions: 
<ol>
<li>{{em|Not empty}}: &nbsp; <math>X \in \mathcal{B}</math> &thinsp;–&thinsp; just as <math>X \in \mathcal{N}(x),</math> since <math>X</math> is always a neighborhood of <math>x</math> (and of anything else that it contains);</li>
<li>{{em|Does not contain the empty set}}: &nbsp; <math>\varnothing \not\in \mathcal{B}</math> &thinsp;–&thinsp; just as no neighborhood of <math>x</math> is empty;</li>
<li>{{em|Closed under finite intersections}}: &nbsp; If <math>B, C \in \mathcal{B} \text{ then } B \cap C \in \mathcal{B}</math> &thinsp;–&thinsp; just as the intersection of any two neighborhoods of <math>x</math> is again a neighborhood of <math>x</math>;</li>
<li>{{em|Upward closed}}: &nbsp; If <math>B \in \mathcal{B} \text{ and } B \subseteq S \subseteq X</math> then <math>S \in \mathcal{B}</math> &thinsp;–&thinsp; just as any subset of <math>X</math> that includes a neighborhood of <math>x</math> will necessarily {{em|be}} a neighborhood of <math>x</math> (this follows from <math>\operatorname{Int}_X B \subseteq \operatorname{Int}_X S</math> and the definition of "a neighborhood of <math>x</math>").</li>
</ol>

'''Generalizing sequence convergence by using sets − determining sequence convergence without the sequence'''

{{See also|Limit of a sequence|Net (mathematics)}}

A {{em|[[sequence]] in <math>X</math>}} is by definition a [[Function (mathematics)|map]] <math>\N \to X</math> from the [[natural numbers]] into the space <math>X.</math> 
The original notion of convergence in a [[topological space]] was that of a [[Limit of a sequence|sequence converging]] to some given point in a space, such as a [[metric space]]. 
With [[metrizable space]]s (or more generally [[first-countable space]]s or [[Fréchet–Urysohn space]]s), sequences usually suffices to characterize, or "describe", most topological properties, such as the closures of subsets or continuity of functions. 
But there are many spaces where sequences can {{em|not}} be used to describe even basic topological properties like closure or continuity. 
This failure of sequences was the motivation for defining notions such as nets and filters, which {{em|never}} fail to characterize topological properties.

Nets directly generalize the notion of a sequence since nets are, by definition, maps <math>I \to X</math> from an arbitrary [[directed set]] <math>(I, \leq)</math> into the space <math>X.</math> A sequence is just a net whose domain is <math>I = \N</math> with the natural ordering. Nets have [[Convergent net|their own notion of convergence]], which is a direct generalization of sequence convergence.

Filters generalize sequence convergence in a different way by considering {{em|only}} the values of a sequence. 
To see how this is done, consider a sequence <math>x_\bull = \left(x_i\right)_{i=1}^\infty \text{ in } X,</math> which is by definition just a function <math>x_{\bullet} : \N \to X</math> whose value at <math>i \in \N</math> is denoted by <math>x_i</math> rather than by the usual parentheses notation <math>x_\bull(i)</math> that is commonly used for arbitrary functions. 
Knowing only the [[Image of a function|image]] (sometimes called "the range") <math>\operatorname{Im} x_\bull := \left\{x_i : i \in \N\right\} = \left\{x_1, x_2, \ldots\right\}</math> of the sequence is not enough to characterize its convergence; multiple sets are needed. 
It turns out that the needed sets are the following,<ref group=note>Technically, any infinite subfamily of this set of tails is enough to characterize this sequence's convergence. But in general, unless indicated otherwise, the set of {{em|all}} tails is taken unless there is some reason to do otherwise.</ref> which are called the {{em|tails}} of the sequence <math>x_\bull</math>:
<math display=block>\begin{alignat}{8}
x_{\geq 1} =\; &\{&&x_1, &&x_2, &&x_3,       &&x_4,       &&\ldots&& \,\} \\[0.3ex]
x_{\geq 2} =\; &\{&&x_2, &&x_3, &&x_4,       &&x_5,       &&\ldots&& \,\} \\[0.3ex]
x_{\geq 3} =\; &\{&&x_3, &&x_4, &&x_5,       &&x_6,       &&\ldots&& \,\} \\[0.3ex]
               &  &&     &&     &&\;\,\vdots &&           &&      &&      \\[0.3ex]
x_{\geq n} =\; &\{&&x_n, \;\;\,&&x_{n+1},  \;&&x_{n+2}, \;&&x_{n+3},&&\ldots&& \,\} \\[0.3ex]
               &  &&     &&     &&\;\,\vdots &&           &&      &&      \\[0.3ex]
\end{alignat}</math>

These sets completely determine this sequence's convergence (or non-convergence) because given any point, this [[Limit of a sequence (topology)|sequence converges]] to it if and only if for every neighborhood <math>U</math> (of this point), there is some integer <math>n</math> such that <math>U</math> contains all of the points <math>x_n, x_{n+1}, \ldots .</math> This can be reworded as:

{{in5}}every neighborhood <math>U</math> must contain some set of the form <math>\{x_n, x_{n+1}, \ldots\}</math> as a subset.

Or more briefly: every neighborhood must contain some tail <math>x_{\geq n}</math> as a subset. 
It is this characterization that can be used with the above family of tails to determine convergence (or non-convergence) of the sequence <math>x_\bull : \N \to X.</math> 
Specifically, with the family of '''{{em|sets}}''' <math>\{x_{\geq 1}, x_{\geq 2}, \ldots\}</math> in hand, the '''{{em|function}}''' <math>x_\bull : \N \to X</math> is no longer needed to determine convergence of this sequence (no matter what topology is placed on <math>X</math>). 
By generalizing this observation, the notion of "convergence" [[#Convergent family|can be extended]] from sequences/functions to families of sets.

The above set of tails of a sequence is in general not a filter but it does "{{em|generate}}" a filter via taking its {{em|[[upward closure]]}} (which consists of all supersets of all tails). The same is true of other important families of sets such as any [[Neighbourhood system|neighborhood basis]] at a given point, which in general is also not a filter but does generate a filter via its upward closure (in particular, it generates the neighborhood filter at that point). The properties that these families share led to the notion of a {{em|filter base}}, also called a {{em|prefilter}}, which by definition is any family having the minimal properties necessary and sufficient for it to generate a filter via taking its [[upward closure]].

'''Nets versus filters − advantages and disadvantages'''

Filters and nets each have their own advantages and drawbacks and there's no reason to use one notion exclusively over the other.<ref group=note>Indeed, net convergence is defined using neighborhood filters while (pre)filters are directed sets with respect to <math>\,\supseteq\,,</math> so it is difficult to keep these notions completely separate.</ref> 
Depending on what is being proved, a proof may be made significantly easier by using one of these notions instead of the other.{{sfn|Wilansky|2013|p=44}} Both filters and nets can be used to completely [[Characterizations of the category of topological spaces|characterize any given topology]]. 
Nets are direct generalizations of sequences and can often be used similarly to sequences, so the learning curve for nets is typically much less steep than that for filters. 
However, filters, and [[Ultrafilter#Applications|especially ultrafilters]], have many more uses outside of topology, such as in [[set theory]], [[mathematical logic]], [[model theory]] ([[ultraproduct]]s, for example), [[abstract algebra]],{{sfn|Schechter|1996|pp=155-171}} [[combinatorics]],<ref name="Fernández-Bretón 2021 pp. 116–131">{{cite journal|last=Fernández-Bretón|first=David J.|title=Using Ultrafilters to Prove Ramsey-type Theorems|journal=The American Mathematical Monthly|publisher=Informa UK Limited|volume=129|issue=2|date=2021-12-22|issn=0002-9890|doi=10.1080/00029890.2022.2004848|pages=116–131|arxiv=1711.01304|s2cid=231592954 }}</ref> [[Dynamical system|dynamics]],<ref name="Fernández-Bretón 2021 pp. 116–131" /> [[order theory]], [[Convergence space|generalized convergence spaces]], [[Cauchy space]]s, and in the definition and use of [[hyperreal number]]s.

Like sequences, nets are '''{{em|functions}}''' and so they have the {{em|advantages of '''functions'''}}. 
For example, like sequences, nets can be "plugged into" other functions, where "plugging in" is just [[function composition]]. 
Theorems related to functions and function composition may then be applied to nets. 
One example is the universal property of [[inverse limit]]s, which is defined in terms of composition of functions rather than sets and it is more readily applied to functions like nets than to sets like filters (a prominent example of an inverse limit is the [[Cartesian product]]). 
Filters may be awkward to use in certain situations, such as when switching between a filter on a space <math>X</math> and a filter on a [[dense subspace]] <math>S \subseteq X.</math>{{sfn|Howes|1995|pp=83-92}}

In contrast to nets, filters (and prefilters) are families of '''{{em|sets}}''' and so they have the {{em|advantages of '''sets'''}}. 
For example, if <math>f</math> is surjective then the {{em|[[Image of a set|image]]}} <math>f^{-1}(\mathcal{B}) := \left\{f^{-1}(B) ~:~ B \in \mathcal{B}\right\}</math> under <math>f^{-1}</math> of an arbitrary filter or prefilter <math>\mathcal{B}</math> is both easily defined and guaranteed to be a prefilter on <math>f</math>'s domain, whereas it is less clear how to [[pullback]] (unambiguously/without [[Axiom of choice|choice]]) an arbitrary sequence (or net) <math>y_\bull</math> so as to obtain a sequence or net in the domain (unless <math>f</math> is also injective and consequently a bijection, which is a stringent requirement). Similarly, the intersection of any collection of filters is once again a filter whereas it is not clear what this could mean for sequences or nets. 
Because filters are composed of subsets of the very topological space <math>X</math> that is under consideration, topological set operations (such as [[Closure (topology)|closure]] or [[Interior (topology)|interior]]) may be applied to the sets that constitute the filter. 
Taking the closure of all the sets in a filter is sometimes useful in [[functional analysis]] for instance. 
Theorems and results about images or preimages of sets under a function may also be applied to the sets that constitute a filter; an example of such a result might be one of [[Continuous function (topology)|continuity's characterizations]] in terms of preimages of open/closed sets or in terms of the interior/closure operators. 
Special types of filters called {{em|[[Ultrafilter (set theory)|ultrafilter]]s}} have many useful properties that can significantly help in proving results. 
One downside of nets is their dependence on the directed sets that constitute their domains, which in general may be entirely unrelated to the space <math>X.</math> In fact, the class of nets in a given set <math>X</math> is too large to even be a set (it is a [[proper class]]); this is because nets in <math>X</math> can have domains of {{em|any}} [[cardinality]]. 
In contrast, the collection of all filters (and of all prefilters) on <math>X</math> is a set whose cardinality is no larger than that of [[Power set|<math>\wp(\wp(X)).</math>]] 
Similar to a [[Topology (structure)|topology]] on <math>X,</math> a filter on <math>X</math> is "intrinsic to <math>X</math>" in the sense that both structures consist {{em|entirely}} of subsets of <math>X</math> and neither definition requires any set that cannot be constructed from <math>X</math> (such as <math>\N</math> or other directed sets, which sequences and nets require).

==Preliminaries, notation, and basic notions==
{{Main|Filter (set theory)}}

In this article, upper case Roman letters like <math>S</math> and <math>X</math> denote sets (but not families unless indicated otherwise) and <math>\wp(X)</math> will denote the [[power set]] of <math>X.</math> A subset of a power set is called {{em|a [[family of sets]]}} (or simply, {{em|a family}}) where it is {{em|over <math>X</math>}} if it is a subset of <math>\wp(X).</math> Families of sets will be denoted by upper case calligraphy letters such as <math>\mathcal{B}</math>, <math>\mathcal{C}</math>, and <math>\mathcal{F}</math>. 
Whenever these assumptions are needed, then it should be assumed that <math>X</math> is non-empty and that <math>\mathcal{B}, \mathcal{F},</math> etc. are families of sets over <math>X.</math>

The terms "prefilter" and "filter base" are synonyms and will be used interchangeably.

'''Warning about competing definitions and notation'''

There are unfortunately several terms in the theory of filters that are defined differently by different authors. 
These include some of the most important terms such as "filter." 
While different definitions of the same term usually have significant overlap, due to the very technical nature of filters (and point–set topology), these differences in definitions nevertheless often have important consequences. 
When reading mathematical literature, it is recommended that readers check how the terminology related to filters is defined by the author. 
For this reason, this article will clearly state all definitions as they are used. 
Unfortunately, not all notation related to filters is well established and some notation varies greatly across the literature (for example, the notation for the set of all prefilters on a set) so in such cases this article uses whatever notation is most self describing or easily remembered.

The theory of filters and prefilters is well developed and has a plethora of definitions and notations, many of which are now unceremoniously listed to prevent this article from becoming prolix and to allow for the easy look up of notation and definitions. 
Their important properties are described later.

'''Sets operations'''

The {{em|[[Upward closed set|{{visible anchor|upward closure}}]]}} or {{em|isotonization}} in <math>X</math>{{sfn|Dolecki|Mynard|2016|pp=27–29}}{{sfn|Dolecki|Mynard|2016|pp=33–35}} of a [[family of sets]] <math>\mathcal{B} \subseteq \wp(X)</math> is

{{Quote frame|1=<math>\mathcal{B}^{\uparrow X} := \{S \subseteq X ~:~ B \subseteq S \text{ for some } B \in \mathcal{B} \,\} = {\textstyle\bigcup\limits_{B \in \mathcal{B}}} \{S ~:~ B \subseteq S \subseteq X\}</math>
}}

and similarly the {{em|downward closure}} of <math>\mathcal{B}</math> is <math>\mathcal{B}^{\downarrow} := \{S \subseteq B ~:~ B \in \mathcal{B} \,\} = {\textstyle\bigcup\limits_{B \in \mathcal{B}}} \wp(B).</math>

{| class="wikitable" style="width: 100%;"
|+ 
|-
! Notation and Definition !! Name
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>\ker \mathcal{B} = \bigcap_{B \in \mathcal{B}} B</math>
||{{em|[[Kernel of a family of sets|Kernel]]}} of <math>\mathcal{B}</math>{{sfn|Dolecki|Mynard|2016|pp=33–35}}
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>S \setminus \mathcal{B} := \{S \setminus B ~:~ B \in \mathcal{B}\} = \{S\} \,(\setminus)\, \mathcal{B}</math>
||{{em|Dual of <math>\mathcal{B} \text{ in } S</math>}} where <math>S</math> is a set.{{sfn|Narici|Beckenstein|2011|pp=2–7}}
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>\mathcal{B}\big\vert_S := \{B \cap S ~:~ B \in \mathcal{B}\} = \mathcal{B} \,(\cap)\, \{S\}</math>
||{{em|Trace of <math>\mathcal{B} \text{ on } S</math>}}{{sfn|Narici|Beckenstein|2011|pp=2–7}} or {{em|the restriction of <math>\mathcal{B} \text{ to } S</math>}} where <math>S</math> is a set; sometimes denoted by <math>\mathcal{B} \cap S</math>
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>\mathcal{B} \,(\cap)\, \mathcal{C} = \{B \cap C ~:~ B \in \mathcal{B} \text{ and } C \in \mathcal{C}\}</math>{{sfn|Császár|1978|pp=53-65}}
||{{em|[[wiktionary:elementwise|Elementwise]]}} ({{em|set}}) {{em|intersection}} (<math>\mathcal{B} \cap \mathcal{C}</math> will denote the usual intersection)
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>\mathcal{B} \,(\cup)\, \mathcal{C} = \{B \cup C ~:~ B \in \mathcal{B} \text{ and } C \in \mathcal{C}\}</math>{{sfn|Császár|1978|pp=53-65}}
||{{em|Elementwise}} ({{em|set}}) {{em|union}} (<math>\mathcal{B} \cup \mathcal{C}</math> will denote the usual union)
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>\mathcal{B} \,(\setminus)\, \mathcal{C} = \{B \setminus C ~:~ B \in \mathcal{B} \text{ and } C \in \mathcal{C}\}</math>
||{{em|Elementwise}} ({{em|set}}) {{em|subtraction}} (<math>\mathcal{B} \setminus \mathcal{C}</math> will denote the usual [[set subtraction]])
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>\wp(X) = \{S ~:~ S \subseteq X\}</math>
||{{em|[[Power set]]}} of a set <math>X</math>{{sfn|Dolecki|Mynard|2016|pp=33–35}}
|}

{{Quote box|align=center|1=For any two families <math>\mathcal{C} \text{ and } \mathcal{F},</math> declare that <math>\mathcal{C} \leq \mathcal{F}</math> if and only if for every <math>C \in \mathcal{C}</math> there exists some <math>F \in \mathcal{F} \text{ such that } F \subseteq C,</math> in which case it is said that <math>\mathcal{C}</math> is {{em|coarser than}} <math>\mathcal{F}</math> and that <math>\mathcal{F}</math> is {{em|finer than}} (or {{em|subordinate to}}) <math>\mathcal{C}.</math>{{sfn|Bourbaki|1989|p=58}}{{sfn|Schubert|1968|pp=48–71}}{{sfn|Narici|Beckenstein|2011|pp=3–4}} The notation <math>\mathcal{F} \vdash \mathcal{C} \text{ or } \mathcal{F} \geq \mathcal{C}</math> may also be used in place of <math>\mathcal{C} \leq \mathcal{F}.</math>

If <math>\mathcal{C} \leq \mathcal{F}</math> and <math>\mathcal{F} \leq \mathcal{C}</math> then <math>\mathcal{C} \text{ and } \mathcal{F}</math> are said to be {{em|{{visible anchor|equivalent families|equivalent|text=equivalent}}}} (with respect to subordination). 

Two families <math>\mathcal{B} \text{ and } \mathcal{C}</math> {{em|mesh}},{{sfn|Narici|Beckenstein|2011|pp=2–7}} written <math>\mathcal{B} \# \mathcal{C},</math> if <math>B \cap C \neq \varnothing \text{ for all } B \in \mathcal{B} \text{ and } C \in \mathcal{C}.</math> 
}}

Throughout, <math>f</math> is a map.

{| class="wikitable" style="width: 100%;"
|+ 
|-
! Notation and Definition !! Name
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>f^{-1}(\mathcal{B}) = \left\{f^{-1}(B) ~:~ B \in \mathcal{B}\right\}</math>{{sfn|Dugundji|1966|pp=215–221}}
||{{em|Image}} of <math>\mathcal{B} \text{ under } f^{-1},</math> or the {{em|preimage}} of <math>\mathcal{B}</math> under <math>f</math>
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>f(\mathcal{B}) = \{f(B) ~:~ B \in \mathcal{B}\}</math>{{sfn|Dugundji|1966|p=215}}
||{{em|Image}} of <math>\mathcal{B}</math> under <math>f</math>
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>\operatorname{image} f = f(\operatorname{domain} f)</math>
||{{em|[[Image (mathematics)|Image]]}} (or range) of <math>f</math>
|}

'''Topology notation'''

Denote the set of all topologies on a set <math>X \text{ by } \operatorname{Top}(X).</math> 
Suppose <math>\tau \in \operatorname{Top}(X),</math> <math>S \subseteq X</math> is any subset, and <math>x \in X</math> is any point.

{| class="wikitable" style="width: 100%;"
|+ 
|-
! Notation and Definition !! Name
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>\tau(S) = \{O \in \tau ~:~ S \subseteq O\}</math>
||{{em|Set}} or {{em|prefilter}}<ref group=note name="filterbase iff not empty">The terms "Filter base" and "Filter" are used if and only if <math>S \neq \varnothing.</math></ref> {{em|of [[open neighborhood]]s}} of <math>S \text{ in } (X, \tau)</math>
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>\tau(x) = \{O \in \tau ~:~ x \in O\}</math>
||{{em|Set}} or {{em|prefilter}} {{em|of open neighborhoods}} of <math>x \text{ in } (X, \tau)</math>
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>\mathcal{N}_{\tau}(S) = \mathcal{N}(S) := \tau(S)^{\uparrow X}</math>
||{{em|Set}} or {{em|filter}}<ref group=note name="filterbase iff not empty"/> {{em|of [[Neighbourhood (mathematics)|neighborhoods]]}} of <math>S \text{ in } (X, \tau)</math>
|-
|style="padding:0.5% 0 0.5% 2em;"|<math>\mathcal{N}_{\tau}(x) = \mathcal{N}(x) := \tau(x)^{\uparrow X}</math>
||{{em|Set}} or {{em|filter of neighborhoods}} of <math>x \text{ in } (X, \tau)</math>
|}

If <math>\varnothing \neq S \subseteq X</math> then <math>\tau(S) = {\textstyle\bigcap\limits_{s \in S}} \tau(s) \text{ and } \mathcal{N}_{\tau}(S) = {\textstyle\bigcap\limits_{s \in S}} \mathcal{N}_{\tau}(s).</math>

{{anchor|Definition of nets|Definition of tails}}
'''Nets and their tails'''

A {{em|[[directed set]]}} is a set <math>I</math> together with a [[preorder]], which will be denoted by <math>\,\leq\,</math> (unless explicitly indicated otherwise), that makes <math>(I, \leq)</math> into an ({{em|upward}}) {{em|directed set}};{{sfn|Wilansky|2013|p=5}} this means that for all <math>i, j \in I,</math> there exists some <math>k \in I</math> such that <math>i \leq k \text{ and } j \leq k.</math> For any indices <math>i \text{ and } j,</math> the notation <math>j \geq i</math> is defined to mean <math>i \leq j</math> while <math>i < j</math> is defined to mean that <math>i \leq j</math> holds but it is {{em|not}} true that <math>j \leq i</math> (if <math>\,\leq\,</math> is [[Antisymmetric relation|antisymmetric]] then this is equivalent to <math>i \leq j \text{ and } i \neq j</math>).

A {{em|[[Net (mathematics)|net]] in <math>X</math>}}{{sfn|Wilansky|2013|p=5}} is a map from a non-empty directed set into <math>X.</math> 
The notation <math>x_\bull = \left(x_i\right)_{i \in I}</math> will be used to denote a net with domain <math>I.</math> 

{| class="wikitable" style="width: 100%;"
|+ 
|-
! Notation and Definition !! Name
|-
|style="padding:0.5% 2em 0.5% 2em;"|<math>I_{\geq i} = \{j \in I ~:~ j \geq i\}</math>
||{{em|Tail}} or {{em|section of <math>I</math> starting at <math>i \in I</math>}} where <math>(I, \leq)</math> is a [[directed set]].
|-
|style="padding:0.5% 2em 0.5% 2em;"|<math>x_{\geq i} = \left\{x_j ~:~ j \geq i \text{ and } j \in I\right\}</math>
||{{em|{{visible anchor|Tail of a net|text=Tail}}}} or {{em|section of <math>x_\bull = \left(x_i\right)_{i \in I}</math> starting at <math>i \in I</math>}}
|-
|style="padding:0.5% 2em 0.5% 2em;"|<math>\operatorname{Tails}\left(x_\bull\right) = \left\{x_{\geq i} ~:~ i \in I\right\}</math>
||{{em|Set}} or {{em|{{visible anchor|prefilter of tails}}}}/{{em|sections}} of <math>x_\bull.</math> Also called the {{em|eventuality filter base}} generated by (the tails of) <math>x_\bull = \left(x_i\right)_{i \in I}.</math> If <math>x_\bull</math> is a sequence then <math>\operatorname{Tails}\left(x_\bull\right)</math> is also called the {{em|{{visible anchor|sequential filter base|Sequential filter base}}}}.{{sfn|Dolecki|Mynard|2016|p=10}}
|-
|style="padding:0.5% 2em 0.5% 2em;"|<math>\operatorname{TailsFilter}\left(x_\bull\right) = \operatorname{Tails}\left(x_\bull\right)^{\uparrow X}</math>
||{{anchor|Filter of tails|Eventuality filter}}({{em|Eventuality}}) {{em|filter}} of/generated by (tails of) <math>x_\bull</math>{{sfn|Dolecki|Mynard|2016|p=10}}
|-
|style="padding:0.5% 2em 0.5% 2em;"|<math>f\left(I_{\geq i}\right) = \{f(j) ~:~ j \geq i \text{ and } j \in I\}</math>
||{{em|Tail}} or {{em|section of a net <math>f : I \to X</math> starting at <math>i \in I </math>}}{{sfn|Dolecki|Mynard|2016|p=10}} where <math>(I, \leq)</math> is a directed set.
|}

'''Warning about using strict comparison'''

If <math>x_\bull = \left(x_i\right)_{i \in I}</math> is a net and <math>i \in I</math> then it is possible for the set <math>x_{> i} = \left\{x_j ~:~ j > i \text{ and } j \in I\right\},</math> which is called {{em|the tail of <math>x_\bull</math> {{em|after}} <math>i</math>}}, to be empty (for example, this happens if <math>i</math> is an [[Upper and lower bounds|upper bound]] of the [[directed set]] <math>I</math>). 
In this case, the family <math>\left\{x_{> i} ~:~ i \in I\right\}</math> would contain the empty set, which would prevent it from being a prefilter (defined later). 
This is the (important) reason for defining <math>\operatorname{Tails}\left(x_\bull\right)</math> as <math>\left\{x_{\geq i} ~:~ i \in I\right\}</math> rather than <math>\left\{x_{> i} ~:~ i \in I\right\}</math> or even <math>\left\{x_{> i} ~:~ i \in I\right\}\cup \left\{x_{\geq i} ~:~ i \in I\right\}</math> and it is for this reason that in general, when dealing with the prefilter of tails of a net, the strict inequality <math>\,<\,</math> may not be used interchangeably with the inequality <math>\,\leq.</math>

===Filters and prefilters===
{{Families of sets}}
{{Main|Filter (set theory)}}

The following is a list of properties that a family <math>\mathcal{B}</math> of sets may possess and they form the defining properties of filters, prefilters, and filter subbases. Whenever it is necessary, it should be assumed that <math>\mathcal{B} \subseteq \wp(X).</math>

{{Quote frame|1=The family of sets <math>\mathcal{B}</math> is:
<ol>
<li>{{em|{{visible anchor|Proper|Proper filter}}}} or {{em|{{visible anchor|nondegenerate|Nondegenerate filter}}}} if <math>\varnothing \not\in \mathcal{B}.</math> Otherwise, if <math>\varnothing \in \mathcal{B},</math> then it is called {{em|improper}}{{sfn|Schechter|1996|pp=100–130}} or {{em|degenerate}}.</li>

<li>{{em|{{visible anchor|Directed downward}}}}{{sfn|Wilansky|2013|p=5}} if whenever <math>A, B \in \mathcal{B}</math> then there exists some <math>C \in \mathcal{B}</math> such that <math>C \subseteq A \cap B.</math>
* This property can be characterized in terms of [[Directed set|directedness]], which explains the word "directed": A [[binary relation]] <math>\,\preceq\,</math> on <math>\mathcal{B}</math> is called {{em|[[Directed set|(upward) directed]]}} if for any two <math>A \text{ and } B,</math> there is some <math>C</math> satisfying <math>A \preceq C \text{ and } B \preceq C.</math> Using <math>\,\supseteq\,</math> in place of <math>\,\preceq\,</math> gives the definition of {{em|directed downward}} whereas using <math>\,\subseteq\,</math> instead gives the definition of {{em|directed upward}}. Explicitly, <math>\mathcal{B}</math> is {{em|directed downward}} (resp. {{em|directed upward}}) if and only if for all <math>A, B \in \mathcal{B},</math> there exists some "greater" <math>C \in \mathcal{B}</math> such that <math>A \supseteq C \text{ and } B \supseteq C</math> (resp. such that <math>A \subseteq C \text{ and } B \subseteq C</math>) − where the "greater" element is always on the right hand side, − which can be rewritten as <math>A \cap B \supseteq C</math> (resp. as <math>A \cup B \subseteq C</math>).</li>

<li>{{em|{{visible anchor|Closed under finite intersections}}}} (resp. {{em|unions}}) if the intersection (resp. union) of any two elements of <math>\mathcal{B}</math> is an element of <math>\mathcal{B}.</math>
* If <math>\mathcal{B}</math> is closed under finite intersections then <math>\mathcal{B}</math> is necessarily directed downward. The converse is generally false.</li>

<li>{{em|[[Upward closed set|{{visible anchor|Upward closed}}]]}} or {{em|Isotone}} in <math>X</math>{{sfn|Dolecki|Mynard|2016|pp=27–29}} if <math>\mathcal{B} \subseteq \wp(X) \text{ and } \mathcal{B} = \mathcal{B}^{\uparrow X},</math> or equivalently, if whenever <math>B \in \mathcal{B}</math> and some set <math>C</math> satisfies <math>B \subseteq C \subseteq X, \text{ then } C \in \mathcal{B}.</math> Similarly, <math>\mathcal{B}</math> is {{em|downward closed}} if <math>\mathcal{B} = \mathcal{B}^{\downarrow}.</math> An upward (respectively, downward) closed set is also called an {{em|upper set}} or {{em|upset}} (resp. a {{em|lower set}} or {{em|down set}}).
* The family <math>\mathcal{B}^{\uparrow X},</math> which is the upward closure of <math>\mathcal{B} \text{ in } X,</math> is the unique {{em|smallest}} (with respect to <math>\,\subseteq</math>) isotone family of sets over <math>X</math> having <math>\mathcal{B}</math> as a subset.</li>
</ol>
}}

Many of the properties of <math>\mathcal{B}</math> defined above and below, such as "proper" and "directed downward," do not depend on <math>X,</math> so mentioning the set <math>X</math> is optional when using such terms. Definitions involving being "upward closed in <math>X,</math>" such as that of "filter on <math>X,</math>" do depend on <math>X</math> so the set <math>X</math> should be mentioned if it is not clear from context.

{{Quote frame|1=A family <math>\mathcal{B}</math> is/is a(n):
<ol>
<li>{{em|[[Ideal (set theory)|{{visible anchor|Ideal}}]]}}{{sfn|Schechter|1996|pp=100–130}}{{sfn|Császár|1978|pp=82-91}} if <math>\mathcal{B} \neq \varnothing</math> is downward closed and closed under finite unions.</li>

<li>{{em|{{visible anchor|Dual ideal}}}} on <math>X</math>{{sfn|Dugundji|1966|pp=211–213}} if <math>\mathcal{B} \neq \varnothing</math> is upward closed in <math>X</math> and also closed under finite intersections. Equivalently, <math>\mathcal{B} \neq \varnothing</math> is a dual ideal if for all <math>R, S \subseteq X,</math> <math>R \cap S \in \mathcal{B} \;\text{ if and only if }\; R, S \in \mathcal{B}.</math>{{sfn|Dolecki|Mynard|2016|pp=27-54}}
* Explanation of the word "dual": A family <math>\mathcal{B}</math> is a dual ideal (resp. an ideal) on <math>X</math> if and only if the {{anchor|Dual of a family}}{{em|dual of <math>\mathcal{B} \text{ in } X,</math>}} which is the family <math display=block>X \setminus \mathcal{B} := \{X \setminus B ~:~ B \in \mathcal{B}\},</math> is an ideal (resp. a dual ideal) on <math>X.</math> In other words, {{em|dual ideal}} means "{{em|dual '''of an''' ideal}}". The dual of the dual is the original family, meaning <math>X \setminus (X \setminus \mathcal{B}) = \mathcal{B}.</math>{{sfn|Schechter|1996|pp=100–130}}</li>

<li>{{em|[[Filter (set theory)|{{visible anchor|Filter}}]]}} on <math>X</math>{{sfn|Dugundji|1966|pp=211–213}}{{sfn|Narici|Beckenstein|2011|pp=2–7}} if <math>\mathcal{B}</math> is a [[#Proper filter|proper]] [[#Dual ideal|dual ideal]] on <math>X.</math> That is, a filter on <math>X</math> is a non−empty subset of <math>\wp(X) \setminus \{\varnothing\}</math> that is closed under finite intersections and upward closed in <math>X.</math> Equivalently, it is a prefilter that is upward closed in <math>X.</math> In words, a filter on <math>X</math> is a family of sets over <math>X</math> that (1) is not empty (or equivalently, it contains <math>X</math>), (2) is closed under finite intersections, (3) is upward closed in <math>X,</math> and (4) does not have the empty set as an element. 
* {{em|Warning}}: Some authors, particularly algebrists, use "filter" to mean a dual ideal; others, particularly topologists, use "filter" to mean a {{em|proper}}/{{em|non-degenerate}} dual ideal.{{sfn|Schechter|1996|p=100}} It is recommended that readers always check how "filter" is defined when reading mathematical literature. However, the definitions of "ultrafilter," "prefilter," and "filter subbase" always require [[#Nondegenerate filter|non-degeneracy]]. This article uses [[Henri Cartan]]'s original definition of "filter",{{sfn|Cartan|1937a|p=}}{{sfn|Cartan|1937b|p=}} which required non-degeneracy. 
* The power set <math>\wp(X)</math> is the one and only dual ideal on <math>X</math> that is not also a filter. Excluding <math>\wp(X)</math> from the definition of "filter" in [[topology]] has the same benefit as [[Prime number#Primality of one|excluding <math>1</math> from the definition]] of "[[prime number]]": it [[:wiktionary:obviate|obviates]] the need to specify "non-degenerate" (the analog of "non-[[unit (ring theory)|unital]]" or "non-<math>1</math>") in many important results, thereby making their statements less awkward.
</li>

<li>{{em|{{visible anchor|Prefilter}}}} or {{em|filter base}}{{sfn|Narici|Beckenstein|2011|pp=2–7}}{{sfn|Császár|1978|pp=53-65, 82-91}} if <math>\mathcal{B} \neq \varnothing</math> is proper and directed downward. Equivalently, <math>\mathcal{B}</math> is called a prefilter if its upward closure <math>\mathcal{B}^{\uparrow X}</math> is a filter. It can also be defined as any family that is [[#equivalent families|equivalent]] to {{em|some}} filter.{{sfn|Császár|1978|pp=53-65}}  A proper family <math>\mathcal{B} \neq \varnothing</math> is a prefilter if and only if <math>\mathcal{B} \,(\cap)\, \mathcal{B} \leq \mathcal{B}.</math>{{sfn|Császár|1978|pp=53-65}} A family is a prefilter if and only if the same is true of its upward closure.
* If <math>\mathcal{B}</math> is a prefilter then its upward closure <math>\mathcal{B}^{\uparrow X}</math> is the unique smallest (relative to <math>\subseteq</math>) filter on <math>X</math> containing <math>\mathcal{B}</math> and it is called {{em|the filter generated by}} <math>\mathcal{B}.</math> A filter <math>\mathcal{F}</math> is said to be {{em|generated by}} a prefilter <math>\mathcal{B}</math> if <math>\mathcal{F} = \mathcal{B}^{\uparrow X},</math> in which <math>\mathcal{B}</math> is called a {{em|filter base for <math>\mathcal{F}.</math>}}
* Unlike a filter, a prefilter is {{em|not}} necessarily closed under finite intersections.</li>

<li>{{em|[[Pi-system|{{pi}}-system]]}} if <math>\mathcal{B} \neq \varnothing</math> is closed under finite intersections. Every non-empty family <math>\mathcal{B}</math> is contained in a unique smallest {{pi}}-system called {{em|the {{pi}}-system generated by}} <math>\mathcal{B},</math> which is sometimes denoted by <math>\pi(\mathcal{B}).</math> It is equal to the intersection of all {{pi}}-systems containing <math>\mathcal{B}</math> and also to the set of all possible finite intersections of sets from {{nowrap|<math>\mathcal{B}</math>:}}
<math display=block>\pi(\mathcal{B}) = \left\{B_1 \cap \cdots \cap B_n ~:~ n \geq 1 \text{ and } B_1, \ldots, B_n \in \mathcal{B}\right\}.</math>
* A {{pi}}-system is a prefilter if and only if it is proper. Every filter is a proper {{pi}}-system and every proper {{pi}}-system is a prefilter but the converses do not hold in general. 
* A prefilter is [[#equivalent families|equivalent]] to the {{pi}}-system generated by it and both of these families generate the same filter on <math>X.</math></li>

<li>{{em|{{visible anchor|Filter subbase}}}}{{sfn|Narici|Beckenstein|2011|pp=2–7}}{{sfn|Arkhangel'skii|Ponomarev|1984|pp=7–8}} and {{em|centered}}{{sfn|Császár|1978|pp=53-65}} if <math>\mathcal{B} \neq \varnothing</math> and <math>\mathcal{B}</math> satisfies any of the following equivalent conditions: 
<ol style="list-style-type:lower-latin;">
<li><math>\mathcal{B}</math> has the {{em|[[finite intersection property]]}}, which means that the intersection of any finite family of (one or more) sets in <math>\mathcal{B}</math> is not empty; explicitly, this means that whenever <math>n \geq 1 \text{ and } B_1, \ldots, B_n \in \mathcal{B}</math> then <math>\varnothing \neq B_1 \cap \cdots \cap B_n.</math></li>
<li>The {{pi}}-system generated by <math>\mathcal{B}</math> is proper; that is, <math>\varnothing \not\in \pi(\mathcal{B}).</math></li>
<li>The {{pi}}-system generated by <math>\mathcal{B}</math> is a prefilter.</li>
<li><math>\mathcal{B}</math> is a subset of {{em|some}} prefilter.</li>
<li><math>\mathcal{B}</math> is a subset of {{em|some}} filter.{{sfn|Bourbaki|1989|p=58}}</li>
</ol>
* Assume that <math>\mathcal{B}</math> is a filter subbase. Then there is a unique smallest (relative to <math>\subseteq</math>) filter <math>\mathcal{F}_{\mathcal{B}} \text{ on } X</math> containing <math>\mathcal{B}</math> called the {{em|{{visible anchor|filter generated by}} <math>\mathcal{B}</math>}}, and <math>\mathcal{B}</math> is said to {{em|be a filter subbase for}} this filter. This filter is equal to the intersection of all filters on <math>X</math> that are supersets of <math>\mathcal{B}.</math> The {{pi}}-system generated by <math>\mathcal{B},</math> denoted by <math>\pi(\mathcal{B}),</math> will be a prefilter and a subset of <math>\mathcal{F}_{\mathcal{B}}.</math>  Moreover, the filter generated by <math>\mathcal{B}</math> is equal to the upward closure of <math>\pi(\mathcal{B}),</math> meaning <math>\pi(\mathcal{B})^{\uparrow X} = \mathcal{F}_{\mathcal{B}}.</math>{{sfn|Császár|1978|pp=53-65}} However, <math>\mathcal{B}^{\uparrow X} = \mathcal{F}_{\mathcal{B}}</math> if {{em|and only if}} <math>\mathcal{B}</math> is a prefilter (although <math>\mathcal{B}^{\uparrow X}</math> is always an upward closed filter {{em|sub}}base for <math>\mathcal{F}_{\mathcal{B}}</math>). 
* A <math>\subseteq</math>{{hsp}}-smallest (meaning smallest relative to <math>\subseteq</math>{{hsp}}) '''{{em|pre}}'''filter containing a filter subbase <math>\mathcal{B}</math> will exist only under certain circumstances. It exists, for example, if the filter subbase <math>\mathcal{B}</math> happens to also be a prefilter. It also exists if the filter (or equivalently, the {{pi}}-system) generated by <math>\mathcal{B}</math> is [[#Principal|principal]], in which case <math>\mathcal{B} \cup \{\ker \mathcal{B}\}</math> is the unique smallest prefilter containing <math>\mathcal{B}.</math> Otherwise, in general, a <math>\subseteq</math>{{hsp}}-smallest {{em|pre}}filter containing <math>\mathcal{B}</math> might not exist. For this reason, some authors may refer to the {{pi}}-system generated by <math>\mathcal{B}</math> as {{em|{{visible anchor|the prefilter generated by|Prefilter generated by a filter subbase}} <math>\mathcal{B}.</math>}} However, if a <math>\subseteq</math>{{hsp}}-smallest prefilter does exist (say it is denoted by <math>\operatorname{minPre} \mathcal{B}</math>) then contrary to usual expectations, it is {{em|not}} necessarily equal to "[[#Prefilter generated by a filter subbase|the prefilter generated by <math>\mathcal{B}</math>]]" (that is, <math>\operatorname{minPre} \mathcal{B} \neq \pi(\mathcal{B})</math> is possible). And if the filter subbase <math>\mathcal{B}</math> happens to also be a prefilter but not a {{pi}}-system then unfortunately, "[[#Prefilter generated by a filter subbase|the prefilter generated by this prefilter]]" (meaning <math>\pi(\mathcal{B})</math>) will not be <math>\mathcal{B} = \operatorname{minPre} \mathcal{B}</math> (that is, <math>\pi(\mathcal{B}) \neq \mathcal{B}</math> is possible even when <math>\mathcal{B}</math> is a prefilter), which is why this article will prefer the accurate and unambiguous terminology of "the [[Pi-system|{{pi}}-system]] generated by <math>\mathcal{B}</math>". 
</li>

<li>{{em|{{visible anchor|Subfilter}}}} of a filter <math>\mathcal{F}</math> and that <math>\mathcal{F}</math> is a {{em|{{visible anchor|superfilter}}}} of <math>\mathcal{B}</math>{{sfn|Schechter|1996|pp=100–130}}{{sfn|Joshi|1983|p=244}} if <math>\mathcal{B}</math> is a filter and <math>\mathcal{B} \subseteq \mathcal{F}</math> where for filters, <math>\mathcal{B} \subseteq \mathcal{F} \text{ if and only if } \mathcal{B} \leq \mathcal{F}.</math> 
* Importantly, the expression "is a '''{{em|super}}'''filter of" is for filters the analog of "is a '''{{em|sub}}'''sequence of". So despite having the prefix "sub" in common, "is a {{em|sub}}filter of" is actually the {{em|reverse}} of "is a {{em|sub}}sequence of." However, <math>\mathcal{B} \leq \mathcal{F}</math> can also be written <math>\mathcal{F} \vdash \mathcal{B}</math> which is described by saying "<math>\mathcal{F}</math> is subordinate to <math>\mathcal{B}.</math>" With this terminology, "is '''{{em|sub}}'''ordinate to" becomes for filters (and also for prefilters) the analog of "is a '''{{em|sub}}'''sequence of,"{{sfn|Dugundji|1966|p=212}} which makes this one situation where using the term "subordinate" and symbol <math>\,\vdash\,</math> may be helpful. 
</li>
</ol>
}}

There are no prefilters on <math>X = \varnothing</math> (nor are there any nets valued in <math>\varnothing</math>), which is why this article, like most authors, will automatically assume without comment that <math>X \neq \varnothing</math> whenever this assumption is needed.

====Basic examples====

'''Named examples'''

<ul>
<li>The singleton set <math>\mathcal{B} = \{X\}</math> is called the {{em|indiscrete}} or {{em|{{visible anchor|trivial filter}} on <math>X.</math>}}{{sfn|Wilansky|2013|pp=44–46}}{{sfn|Bourbaki|1989|pp=57–68}} It is the unique {{em|minimal}} filter on <math>X</math> because it is a subset of every filter on <math>X</math>; however, it need not be a subset of every prefilter on <math>X.</math></li>

<li>The dual ideal <math>\wp(X)</math> is also called {{em|the degenerate filter on <math>X</math>}}{{sfn|Dolecki|Mynard|2016|pp=27-54}} (despite not actually being a filter). It is the only dual ideal on <math>X</math> that is not a filter on <math>X.</math></li>

<li>If <math>(X, \tau)</math> is a topological space and <math>x \in X,</math> then the [[Neighbourhood system|neighborhood filter]] <math>\mathcal{N}(x)</math> at <math>x</math> is a filter on <math>X.</math> By definition, a family <math>\mathcal{B} \subseteq \wp(X)</math> is called a {{em|[[Neighbourhood system|neighborhood basis]]}} (resp. a {{em|neighborhood subbase}}) at <math>x \text{ for } (X, \tau)</math> if and only if <math>\mathcal{B}</math> is a prefilter (resp. <math>\mathcal{B}</math> is a filter subbase) and the filter on <math>X</math> that <math>\mathcal{B}</math> generates is equal to the neighborhood filter <math>\mathcal{N}(x).</math> The subfamily <math>\tau(x) \subseteq \mathcal{N}(x)</math> of open neighborhoods is a filter base for <math>\mathcal{N}(x).</math> Both prefilters <math>\mathcal{N}(x) \text{ and } \tau(x)</math> also form a [[Base (topology)|base]]s for topologies on <math>X,</math> with the topology generated <math>\tau(x)</math> being [[Comparison of topologies|coarser]] than <math>\tau.</math> This example immediately generalizes from neighborhoods of points to neighborhoods of non-empty subsets <math>S \subseteq X.</math></li>

<li><math>\mathcal{B}</math> is an {{em|{{visible anchor|elementary prefilter}}}}<ref name="Castillo1990">{{Citation|last1=Castillo|first1=Jesus M. F.|last2=Montalvo|first2=Francisco|title=A Counterexample in Semimetric Spaces|journal=Extracta Mathematicae|volume=5|issue=1|pages=38–40|date=January 1990|url=https://dialnet.unirioja.es/descarga/articulo/118277.pdf}}</ref> if <math>\mathcal{B} = \operatorname{Tails}\left(x_\bull\right)</math> for some sequence of points <math>x_\bull = \left(x_i\right)_{i=1}^\infty.</math></li>

<li><math>\mathcal{B}</math> is an {{em|{{visible anchor|elementary filter}}}} or a {{em|{{visible anchor|sequential filter}}}} on <math>X</math>{{sfn|Schaefer|Wolff|1999|pp=1–11}} if <math>\mathcal{B}</math> is a filter on <math>X</math> generated by some elementary prefilter. The filter of tails generated by a sequence that is not eventually constant is necessarily {{em|not}} an ultrafilter.{{sfn|Bourbaki|1989|pp=129–133}} Every principal filter on a countable set is sequential as is every cofinite filter on a countably infinite set.{{sfn|Dolecki|Mynard|2016|pp=27-54}} The intersection of finitely many sequential filters is again sequential.{{sfn|Dolecki|Mynard|2016|pp=27-54}}</li>

<li>The set <math>\mathcal{F}</math> of all [[Cofiniteness|cofinite subsets]] of <math>X</math> (meaning those sets whose complement in <math>X</math> is finite) is proper if and only if <math>\mathcal{F}</math> is infinite (or equivalently, <math>X</math> is infinite), in which case <math>\mathcal{F}</math> is a filter on <math>X</math> known as the [[Fréchet filter|{{em|Fréchet filter}} or the {{em|{{visible anchor|cofinite filter}}}}]] on <math>X.</math>{{sfn|Bourbaki|1989|pp=57–68}}{{sfn|Wilansky|2013|pp=44–46}} If <math>X</math> is finite then <math>\mathcal{F}</math> is equal to the dual ideal <math>\wp(X),</math> which is not a filter. If <math>X</math> is infinite then the family <math>\{X \setminus \{x\} ~:~ x \in X\}</math> of complements of singleton sets is a filter subbase that generates the Fréchet filter on <math>X.</math> As with any family of sets over <math>X</math> that contains <math>\{X \setminus \{x\} ~:~ x \in X\},</math> the kernel of the Fréchet filter on <math>X</math> is the empty set: <math>\ker \mathcal{F} = \varnothing.</math></li>

<li>The intersection of all elements in any non-empty family <math>\mathbb{F} \subseteq \operatorname{Filters}(X)</math> is itself a filter on <math>X</math> called the {{em|[[infimum]]}} or {{em|[[greatest lower bound]]}} of <math>\mathbb{F} \text{ in } \operatorname{Filters}(X),</math> which is why it may be denoted by <math>{\textstyle\bigwedge\limits_{\mathcal{F} \in \mathbb{F}}} \mathcal{F}.</math> Said differently, <math>\ker \mathbb{F} = {\textstyle\bigcap\limits_{\mathcal{F} \in \mathbb{F}}} \mathcal{F} \in \operatorname{Filters}(X).</math> Because every filter on <math>X</math> has <math>\{X\}</math> as a subset, this intersection is never empty. By definition, the infimum is the finest/largest (relative to <math>\,\subseteq\, \text{ and } \,\leq\,</math>) filter contained as a subset of each member of <math>\mathbb{F}.</math>{{sfn|Bourbaki|1989|pp=57–68}} 
* If <math>\mathcal{B} \text{ and } \mathcal{F}</math> are filters then their infimum in <math>\operatorname{Filters}(X)</math> is the filter <math>\mathcal{B} \,(\cup)\, \mathcal{F}.</math>{{sfn|Császár|1978|pp=53-65}} If <math>\mathcal{B} \text{ and } \mathcal{F}</math> are prefilters then <math>\mathcal{B} \,(\cup)\, \mathcal{F}</math> is a prefilter that is coarser than both <math>\mathcal{B} \text{ and } \mathcal{F}</math> (that is, <math>\mathcal{B} \,(\cup)\, \mathcal{F} \leq \mathcal{B} \text{ and } \mathcal{B} \,(\cup)\, \mathcal{F} \leq \mathcal{F}</math>); indeed, it is [[Greatest element|one of the finest such prefilters]], meaning that if <math>\mathcal{S}</math> is a prefilter such that <math>\mathcal{S} \leq \mathcal{B} \text{ and } \mathcal{S} \leq \mathcal{F}</math> then necessarily <math>\mathcal{S} \leq \mathcal{B} \,(\cup)\, \mathcal{F}.</math>{{sfn|Császár|1978|pp=53-65}}  More generally, if <math>\mathcal{B} \text{ and } \mathcal{F}</math> are non−empty families and if <math>\mathbb{S} := \{\mathcal{S} \subseteq \wp(X) ~:~ \mathcal{S} \leq \mathcal{B} \text{ and } \mathcal{S} \leq \mathcal{F}\}</math> then <math>\mathcal{B} \,(\cup)\, \mathcal{F} \in \mathbb{S}</math> and <math>\mathcal{B} \,(\cup)\, \mathcal{F}</math> is a [[greatest element]] of <math>(\mathbb{S}, \leq).</math>{{sfn|Császár|1978|pp=53-65}}</li>

<li>Let <math>\varnothing \neq \mathbb{F} \subseteq \operatorname{DualIdeals}(X)</math> and let <math>\cup \mathbb{F} = {\textstyle\bigcup\limits_{\mathcal{F} \in \mathbb{F}}} \mathcal{F}.</math> 
The {{em|[[supremum]]}} or {{em|[[least upper bound]]}} of <math>\mathbb{F} \text{ in } \operatorname{DualIdeals}(X),</math> denoted by <math>{\textstyle\bigvee\limits_{\mathcal{F} \in \mathbb{F}}} \mathcal{F},</math> is the smallest (relative to <math>\subseteq</math>) dual ideal on <math>X</math> containing every element of <math>\mathbb{F}</math> as a subset; that is, it is the smallest (relative to <math>\subseteq</math>) dual ideal on <math>X</math> containing <math>\cup \mathbb{F}</math> as a subset. 
This dual ideal is <math>{\textstyle\bigvee\limits_{\mathcal{F} \in \mathbb{F}}} \mathcal{F} = \pi\left(\cup \mathbb{F}\right)^{\uparrow X},</math> where <math>\pi\left(\cup \mathbb{F}\right) := \left\{F_1 \cap \cdots \cap F_n ~:~ n \in \N \text{ and every } F_i \text{ belongs to some } \mathcal{F} \in \mathbb{F}\right\}</math> is the {{pi}}-system generated by <math>\cup \mathbb{F}.</math> 
As with any non-empty family of sets, <math>\cup \mathbb{F}</math> is contained in {{em|some}} filter on <math>X</math> if and only if it is a filter subbase, or equivalently, if and only if <math>{\textstyle\bigvee\limits_{\mathcal{F} \in \mathbb{F}}} \mathcal{F} = \pi\left(\cup \mathbb{F}\right)^{\uparrow X}</math> is a filter on <math>X,</math> in which case this family is the smallest (relative to <math>\subseteq</math>) filter on <math>X</math> containing every element of <math>\mathbb{F}</math> as a subset and necessarily <math>\mathbb{F} \subseteq \operatorname{Filters}(X).</math> 
</li>

<li>Let <math>\varnothing \neq \mathbb{F} \subseteq \operatorname{Filters}(X)</math> and let <math>\cup \mathbb{F} = {\textstyle\bigcup\limits_{\mathcal{F} \in \mathbb{F}}} \mathcal{F}.</math> 
The {{em|supremum}} or {{em|least upper bound}} of <math>\mathbb{F} \text{ in } \operatorname{Filters}(X),</math> denoted by <math>{\textstyle\bigvee\limits_{\mathcal{F} \in \mathbb{F}}} \mathcal{F}</math> if it exists, is by definition the smallest (relative to <math>\subseteq</math>) filter on <math>X</math> containing every element of <math>\mathbb{F}</math> as a subset. 
If it exists then necessarily <math>{\textstyle\bigvee\limits_{\mathcal{F} \in \mathbb{F}}} \mathcal{F} = \pi\left(\cup \mathbb{F}\right)^{\uparrow X}</math>{{sfn|Bourbaki|1989|pp=57–68}} (as defined above) and <math>{\textstyle\bigvee\limits_{\mathcal{F} \in \mathbb{F}}} \mathcal{F}</math> will also be equal to the intersection of all filters on <math>X</math> containing <math>\cup \mathbb{F}.</math> 
This supremum of <math>\mathbb{F} \text{ in } \operatorname{Filters}(X)</math> exists if and only if the dual ideal <math>\pi\left(\cup \mathbb{F}\right)^{\uparrow X}</math> is a filter on <math>X.</math> 
The least upper bound of a family of filters <math>\mathbb{F}</math> may fail to be a filter.{{sfn|Bourbaki|1989|pp=57–68}} Indeed, if <math>X</math> contains at least two distinct elements then there exist filters <math>\mathcal{B} \text{ and } \mathcal{C} \text{ on } X</math> for which there does {{em|not}} exist a filter <math>\mathcal{F} \text{ on } X</math> that contains both <math>\mathcal{B} \text{ and } \mathcal{C}.</math> 
If <math>\cup \mathbb{F}</math> is not a filter subbase then the supremum of <math>\mathbb{F} \text{ in } \operatorname{Filters}(X)</math> does not exist and the same is true of its supremum in <math>\operatorname{Prefilters}(X)</math> but their supremum in the set of all dual ideals on <math>X</math> will exist (it being the degenerate filter <math>\wp(X)</math>).{{sfn|Dolecki|Mynard|2016|pp=27-54}}
* If <math>\mathcal{B} \text{ and } \mathcal{F}</math> are prefilters (resp. filters on <math>X</math>) then <math>\mathcal{B} \,(\cap)\, \mathcal{F}</math> is a prefilter (resp. a filter) if and only if it is non-degenerate (or said differently, if and only if <math>\mathcal{B} \text{ and } \mathcal{F}</math> mesh), in which case it is {{em|one of the}} coarsest prefilters (resp. {{em|the}} coarsest filter) on <math>X</math> that is finer (with respect to <math>\,\leq</math>) than both <math>\mathcal{B} \text{ and } \mathcal{F};</math> this means that if <math>\mathcal{S}</math> is any prefilter (resp. any filter) such that <math>\mathcal{B} \leq \mathcal{S} \text{ and } \mathcal{F} \leq \mathcal{S}</math> then necessarily <math>\mathcal{B} \,(\cap)\, \mathcal{F} \leq \mathcal{S},</math>{{sfn|Császár|1978|pp=53-65}} in which case it is denoted by <math>\mathcal{B} \vee \mathcal{F}.</math>{{sfn|Dolecki|Mynard|2016|pp=27-54}}
</li>
</ul>

'''Other examples'''

<ul>
<li>Let <math>X = \{p,1,2,3\}</math> and let <math>\mathcal{B} = \{\{p\}, \{p,1,2\}, \{p,1,3\}\},</math> which makes <math>\mathcal{B}</math> a prefilter and a filter subbase that is not closed under finite intersections. Because <math>\mathcal{B}</math> is a prefilter, the smallest prefilter containing <math>\mathcal{B}</math> is <math>\mathcal{B}.</math> The {{pi}}-system generated by <math>\mathcal{B}</math> is <math>\{\{p,1\}\} \cup \mathcal{B}.</math> In particular, the smallest prefilter containing the filter subbase <math>\mathcal{B}</math> is {{em|not}} equal to the set of all finite intersections of sets in <math>\mathcal{B}.</math> The filter on <math>X</math> generated by <math>\mathcal{B}</math> is <math>\mathcal{B}^{\uparrow X} = \{S \subseteq X : p \in S\} = \{\{p\} \cup T ~:~ T \subseteq \{1,2,3\}\}.</math> All three of <math>\mathcal{B},</math> the {{pi}}-system <math>\mathcal{B}</math> generates, and <math>\mathcal{B}^{\uparrow X}</math> are examples of fixed, principal, ultra prefilters that are principal at the point <math>p; \mathcal{B}^{\uparrow X}</math> is also an ultrafilter on <math>X.</math></li>

<li>Let <math>(X, \tau)</math> be a topological space, <math>\mathcal{B} \subseteq \wp(X),</math> and define <math>\overline{\mathcal{B}} := \left\{\operatorname{cl}_X B ~:~ B \in \mathcal{B}\right\},</math> where <math>\mathcal{B}</math> is necessarily finer than <math>\overline{\mathcal{B}}.</math>{{sfn|Wilansky|2008|pp=32-35}} If <math>\mathcal{B}</math> is non-empty (resp. non-degenerate, a filter subbase, a prefilter, closed under finite unions) then the same is true of <math>\overline{\mathcal{B}}.</math>  If <math>\mathcal{B}</math> is a filter on <math>X</math> then <math>\overline{\mathcal{B}}</math> is a prefilter but not necessarily a filter on <math>X</math> although <math>\left(\overline{\mathcal{B}}\right)^{\uparrow X}</math> is a filter on <math>X</math> equivalent to <math>\overline{\mathcal{B}}.</math></li>

<li>The set <math>\mathcal{B}</math> of all dense open subsets of a (non-empty) topological space <math>X</math> is a proper {{pi}}-system and so also a prefilter. If the space is a [[Baire space]], then the set of all countable intersections of dense open subsets is a {{pi}}-system and a prefilter that is finer than <math>\mathcal{B}.</math> If <math>X = \R^n</math> (with <math>1 \leq n \in \N</math>) then the set <math>\mathcal{B}_{\operatorname{LebFinite}}</math> of all <math>B \in \mathcal{B}</math> such that <math>B</math> has finite [[Lebesgue measure]] is a proper {{pi}}-system and a free prefilter that is also a [[proper subset]] of <math>\mathcal{B}.</math> The prefilters <math>\mathcal{B}_{\operatorname{LebFinite}}</math> and <math>\mathcal{B}</math> are equivalent and so generate the same filter on <math>X.</math> 
Since <math>X</math> is a [[Baire space]], every countable intersection of sets in <math>\mathcal{B}_{\operatorname{LebFinite}}</math> is dense in <math>X</math> (and also [[Meagre set|comeagre]] and non-meager) so the set of all countable intersections of elements of <math>\mathcal{B}_{\operatorname{LebFinite}}</math> is a prefilter and {{pi}}-system; it is also finer than, and not equivalent to, <math>\mathcal{B}_{\operatorname{LebFinite}}.</math></li>

</ul>

====Ultrafilters====

{{Main|Ultrafilter (set theory)|Ultrafilter}}

There are many other characterizations of "ultrafilter" and "ultra prefilter," which are listed in the article on [[Ultrafilter (set theory)|ultrafilter]]s. Important properties of ultrafilters are also described in that article.

{{Quote frame|1=A non-empty family <math>\mathcal{B} \subseteq \wp(X)</math> of sets is/is an:
<ol start=8>
<li>{{em|[[Ultrafilter (set theory)|Ultra]]}}{{sfn|Narici|Beckenstein|2011|pp=2–7}}{{sfn|Dugundji|1966|pp=219–221}} if <math>\varnothing \not\in \mathcal{B}</math> and any of the following equivalent conditions are satisfied: 
<ol style="list-style-type:lower-latin;">
<li>For every set <math>S \subseteq X</math> there exists some set <math>B \in \mathcal{B}</math> such that <math>B \subseteq S \text{ or } B \subseteq X \setminus S</math> (or equivalently, such that <math>B \cap S \text{ equals } B \text{ or } \varnothing</math>).</li>
<li>For every set <math>S \subseteq {\textstyle\bigcup\limits_{B \in \mathcal{B}}} B</math> there exists some set <math>B \in \mathcal{B}</math> such that <math>B \cap S \text{ equals } B \text{ or } \varnothing.</math>
* This characterization of "<math>\mathcal{B}</math> is ultra" does not depend on the set <math>X,</math> so mentioning the set <math>X</math> is optional when using the term "ultra."</li>
<li>For {{em|every}} set <math>S</math> (not necessarily even a subset of <math>X</math>) there exists some set <math>B \in \mathcal{B}</math> such that <math>B \cap S \text{ equals } B \text{ or } \varnothing.</math></li>
</ol>
</li>

<li>{{em|Ultra prefilter}}{{sfn|Narici|Beckenstein|2011|pp=2–7}}{{sfn|Dugundji|1966|pp=219–221}} if it is a prefilter that is also ultra. Equivalently, it is a filter subbase that is ultra. A prefilter <math>\mathcal{B}</math> is ultra if and only if it satisfies any of the following equivalent conditions:
<ol style="list-style-type:lower-latin;">
<li><math>\mathcal{B}</math> is {{em|[[Maximal element|maximal]]}} in <math>\operatorname{Prefilters}(X)</math> with respect to <math>\,\leq,\,</math> which means that <math display=block>\text{For all } \mathcal{C} \in \operatorname{Prefilters}(X), \; \mathcal{B} \leq \mathcal{C} \; \text{ implies } \; \mathcal{C} \leq \mathcal{B}.</math></li>
<li><math>\text{For all } \mathcal{C} \in \operatorname{Filters}(X), \; \mathcal{B} \leq \mathcal{C} \; \text{ implies } \; \mathcal{C} \leq \mathcal{B}.</math>
* Although this statement is identical to that given below for ultrafilters, here <math>\mathcal{B}</math> is merely assumed to be a prefilter; it need not be a filter.</li>
<li><math>\mathcal{B}^{\uparrow X}</math> is ultra (and thus an ultrafilter).</li>
<li><math>\mathcal{B}</math> is [[#equivalent families|equivalent]] to some ultrafilter.</li>
<li></li>
</ol>
* A filter subbase that is ultra is necessarily a prefilter. A filter subbase is ultra if and only if it is a maximal filter subbase with respect to <math>\,\leq\,</math> (as above).{{sfn|Schechter|1996|pp=100-130}}
</li>

<li>{{em|[[Ultrafilter (set theory)|Ultrafilter]] on <math>X</math>}}{{sfn|Narici|Beckenstein|2011|pp=2–7}}{{sfn|Dugundji|1966|pp=219–221}} if it is a filter on <math>X</math> that is ultra. Equivalently, an ultrafilter on <math>X</math> is a filter <math>\mathcal{B} \text{ on } X</math> that satisfies any of the following equivalent conditions:
<ol style="list-style-type:lower-latin;">
<li><math>\mathcal{B}</math> is generated by an ultra prefilter.</li>
<li>For any <math>S \subseteq X, S \in \mathcal{B} \text{ or } X \setminus S \in \mathcal{B}.</math>{{sfn|Schechter|1996|pp=100–130}}</li>
<li><math>\mathcal{B} \cup (X \setminus \mathcal{B}) = \wp(X).</math> This condition can be restated as: <math>\wp(X)</math> is partitioned by <math>\mathcal{B}</math> and its dual <math>X \setminus \mathcal{B}.</math></li>
<li>For any <math>R, S \subseteq X,</math> if <math>R \cup S \in \mathcal{B}</math> then <math>R \in \mathcal{B} \text{ or } S \in \mathcal{B}</math> (a filter with this property is called a {{em|prime filter}}).
* This property extends to any finite union of two or more sets.</li>
<li><math>\mathcal{B}</math> is a {{em|maximal}} filter on <math>X</math>; meaning that if <math>\mathcal{C}</math> is a filter on <math>X</math> such that <math>\mathcal{B} \subseteq \mathcal{C}</math> then necessarily <math>\mathcal{C} = \mathcal{B}</math> (this equality may be replaced by <math>\mathcal{C} \subseteq \mathcal{B} \text{ or by } \mathcal{C} \leq \mathcal{B}</math>).
* If <math>\mathcal{C}</math> is upward closed then <math>\mathcal{B} \leq \mathcal{C} \text{ if and only if } \mathcal{B} \subseteq \mathcal{C}.</math> So this characterization of ultrafilters as maximal filters can be restated as: <math display=block>\text{For all } \mathcal{C} \in \operatorname{Filters}(X), \; \mathcal{B} \leq \mathcal{C} \; \text{ implies } \; \mathcal{C} \leq \mathcal{B}.</math>
* Because subordination <math>\,\geq\,</math> is for filters the analog of "is a subnet/subsequence of" (specifically, "subnet" should mean "[[#AA-subnet|AA-subnet]]," which is defined below), this characterization of an ultrafilter as being a "maximally subordinate filter" suggests that an ultrafilter can be interpreted as being analogous to some sort of "maximally deep net" (which could, for instance, mean that "when viewed only from <math>X</math>" in some sense, it is indistinguishable from its subnets, as is the case with any net valued in a singleton set for example),<ref group=note>For instance, one sense in which a net <math>u_\bull</math> could be interpreted as being "maximally deep" is if all important properties related to <math>X</math> (such as convergence for example) of any subnet is completely determined by <math>u_\bull</math> in all topologies on <math>X.</math> In this case <math>u_\bull</math> and its subnet become effectively indistinguishable (at least topologically) if one's information about them is limited to only that which can be described in solely in terms of <math>X</math> and directly related sets (such as its subsets).</ref> which is an idea that is actually made rigorous by [[Ultranet (mathematics)|ultranet]]s. The [[ultrafilter lemma]] is then the statement that every filter ("net") has some subordinate filter ("subnet") that is "maximally subordinate" ("maximally deep").</li>
</ol></li>
</ol>
}}

'''The ultrafilter lemma'''

The following important theorem is due to [[Alfred Tarski]] (1930).{{sfn|Jech|2006|pp=73-89}}

{{Math theorem|name=[[Ultrafilter lemma|The ultrafilter lemma/principle/theorem]]{{sfn|Bourbaki|1989|pp=57–68}}|note=[[Alfred Tarski|Tarski]]|math_statement=Every filter on a set <math>X</math> is a subset of some ultrafilter on <math>X.</math>
}}

A consequence of the ultrafilter lemma is that every filter is equal to the intersection of all ultrafilters containing it.{{sfn|Bourbaki|1989|pp=57–68}} 
Assuming the axioms of [[Zermelo–Fraenkel set theory|Zermelo–Fraenkel (ZF)]], the ultrafilter lemma follows from the [[Axiom of choice]] (in particular from [[Zorn's lemma]]) but is strictly weaker than it. The ultrafilter lemma implies the Axiom of choice for finite sets. If {{em|only}} dealing with [[Hausdorff space|Hausdorff]] spaces, then most basic results (as encountered in introductory courses) in Topology (such as [[Tychonoff's theorem]] for compact Hausdorff spaces and the [[Alexander subbase theorem]]) and in [[functional analysis]] (such as the [[Hahn–Banach theorem]]) can be proven using only the ultrafilter lemma; the full strength of the axiom of choice might not be needed.

====Kernels====

The kernel is useful in classifying properties of prefilters and other families of sets.

{{Quote frame|1=The {{em|[[Kernel of a family of sets|kernel]]}}{{sfn|Dolecki|Mynard|2016|pp=27–29}} of a family of sets <math>\mathcal{B}</math> is the intersection of all sets that are elements of <math>\mathcal{B}:</math>
<math display=block>\ker \mathcal{B} = \bigcap_{B \in \mathcal{B}} B</math>
}}

If <math>\mathcal{B} \subseteq \wp(X)</math> then <math>\ker \left(\mathcal{B}^{\uparrow X}\right) = \ker \mathcal{B}</math> and this set is also equal to the kernel of the {{pi}}-system that is generated by <math>\mathcal{B}.</math> 
In particular, if <math>\mathcal{B}</math> is a filter subbase then the kernels of all of the following sets are equal: 
:(1) <math>\mathcal{B},</math> (2) the {{pi}}-system generated by <math>\mathcal{B},</math> and (3) the filter generated by <math>\mathcal{B}.</math>

If <math>f</math> is a map then <math>f(\ker \mathcal{B}) \subseteq \ker f(\mathcal{B}) \text{ and } f^{-1}(\ker \mathcal{B}) = \ker f^{-1}(\mathcal{B}).</math> 
Equivalent families have equal kernels. 
Two principal families are equivalent if and only if their kernels are equal.

=====Classifying families by their kernels=====

{{Quote frame|1=A family <math>\mathcal{B}</math> of sets is:
<ol>
<li></li>
<li>{{em|{{visible anchor|Free}}}}{{sfn|Dolecki|Mynard|2016|pp=33–35}} if <math>\ker \mathcal{B} = \varnothing,</math> or equivalently, if <math>\{X \setminus \{x\} ~:~ x \in X\} \subseteq \mathcal{B}^{\uparrow X};</math> this can be restated as <math>\{X \setminus \{x\} ~:~ x \in X\} \leq \mathcal{B}.</math> 
* A filter <math>\mathcal{F} \text{ on } X</math> is free if and only if <math>X</math> is infinite and <math>\mathcal{F}</math> includes the [[Fréchet filter]] on <math>X</math> as a subset.</li>
<li>{{em|{{visible anchor|Fixed}}}} if <math>\ker \mathcal{B} \neq \varnothing</math> in which case, <math>\mathcal{B}</math> is said to be {{em|fixed by}} any point <math>x \in \ker \mathcal{B}.</math> 
* Any fixed family is necessarily a filter subbase.</li>
<li>{{em|{{visible anchor|Principal}}}}{{sfn|Dolecki|Mynard|2016|pp=33–35}} if <math>\ker \mathcal{B} \in \mathcal{B}.</math> 
* A proper principal family of sets is necessarily a prefilter.</li>
<li>{{em|{{visible anchor|Discrete}}}} or {{em|Principal at}} <math>x \in X</math>{{sfn|Wilansky|2013|pp=44–46}} if <math>\{x\} = \ker \mathcal{B} \in \mathcal{B}.</math> 
* The {{em|principal filter at <math>x \text{ on } X</math>}} is the filter <math>\{x\}^{\uparrow X}.</math> A filter <math>\mathcal{F}</math> is principal at <math>x</math> if and only if <math>\mathcal{F} = \{x\}^{\uparrow X}.</math></li>
<li>{{em|Countably deep}} if whenever <math>\mathcal{C} \subseteq \mathcal{B}</math> is a countable subset then <math>\ker \mathcal{C} \in \mathcal{B}.</math>{{sfn|Dolecki|Mynard|2016|pp=27-54}}</li>
</ol>
}}

If <math>\mathcal{B}</math> is a principal filter on <math>X</math> then <math>\varnothing \neq \ker \mathcal{B} \in \mathcal{B}</math> and 
<math>\mathcal{B} = \{\ker \mathcal{B}\}^{\uparrow X}</math> 
and <math>\{\ker \mathcal{B}\}</math> is also the smallest prefilter that generates <math>\mathcal{B}.</math>

Family of examples: For any non-empty <math>C \subseteq \R,</math> the family <math>\mathcal{B}_C = \{\R \setminus (r + C) ~:~ r \in \R\}</math> is free but it is a filter subbase if and only if no finite union of the form <math>\left(r_1 + C\right) \cup \cdots \cup \left(r_n + C\right)</math> covers <math>\R,</math> in which case the filter that it generates will also be free. In particular, <math>\mathcal{B}_C</math> is a filter subbase if <math>C</math> is countable (for example, <math>C = \Q, \Z,</math> the primes), a [[meager set]] in <math>\R,</math> a set of finite measure, or a bounded subset of <math>\R.</math> If <math>C</math> is a singleton set then <math>\mathcal{B}_C</math> is a subbase for the Fréchet filter on <math>\R.</math>

=====Characterizing fixed ultra prefilters=====

If a family of sets <math>\mathcal{B}</math> is fixed (that is, <math>\ker \mathcal{B} \neq \varnothing</math>) then <math>\mathcal{B}</math> is ultra if and only if some element of <math>\mathcal{B}</math> is a singleton set, in which case <math>\mathcal{B}</math> will necessarily be a prefilter. Every principal prefilter is fixed, so a principal prefilter <math>\mathcal{B}</math> is ultra if and only if <math>\ker \mathcal{B}</math> is a singleton set.

Every filter on <math>X</math> that is principal at a single point is an ultrafilter, and if in addition <math>X</math> is finite, then there are no ultrafilters on <math>X</math> other than these.{{sfn|Dolecki|Mynard|2016|pp=33–35}}

The next theorem shows that every ultrafilter falls into one of two categories: either it is free or else it is a principal filter generated by a single point.

{{math theorem|name=Proposition|math_statement=If <math>\mathcal{F}</math> is an ultrafilter on <math>X</math> then the following are equivalent:
<ol>
<li><math>\mathcal{F}</math> is fixed, or equivalently, not free, meaning <math>\ker \mathcal{F} \neq \varnothing.</math></li>
<li><math>\mathcal{F}</math> is principal, meaning <math>\ker \mathcal{F} \in \mathcal{F}.</math></li>
<li>Some element of <math>\mathcal{F}</math> is a finite set.</li>
<li>Some element of <math>\mathcal{F}</math> is a singleton set.</li>
<li><math>\mathcal{F}</math> is principal at some point of <math>X,</math> which means <math>\ker \mathcal{F} = \{x\} \in \mathcal{F}</math> for some <math>x \in X.</math></li>
<li><math>\mathcal{F}</math> does {{em|not}} contain the Fréchet filter on <math>X.</math></li>
<li><math>\mathcal{F}</math> is sequential.{{sfn|Dolecki|Mynard|2016|pp=27-54}}</li>
</ol>
}}

{{anchor|Comparison of families|Comparison of families of sets|Subordination}}

===Finer/coarser, subordination, and meshing===

The preorder <math>\,\leq\,</math> that is defined below is of fundamental importance for the use of prefilters (and filters) in topology. For instance, this preorder is used to define the prefilter equivalent of "subsequence",{{sfn|Dugundji|1966|p=212}} where "<math>\mathcal{F} \geq \mathcal{C}</math>" can be interpreted as "<math>\mathcal{F}</math> is a subsequence of <math>\mathcal{C}</math>" (so "subordinate to" is the prefilter equivalent of "subsequence of"). It is also used to define prefilter convergence in a topological space. 
The definition of <math>\mathcal{B}</math> meshes with <math>\mathcal{C},</math> which is closely related to the preorder <math>\,\leq,</math> is used in topology to define [[#Cluster point|cluster point]]s.

Two families of sets <math>\mathcal{B} \text{ and } \mathcal{C}</math> {{em|{{visible anchor|mesh}}}}{{sfn|Narici|Beckenstein|2011|pp=2–7}} and are {{em|compatible}}, indicated by writing <math>\mathcal{B} \# \mathcal{C},</math> if <math>B \cap C \neq \varnothing \text{ for all } B \in \mathcal{B} \text{ and } C \in \mathcal{C}.</math> If <math>\mathcal{B} \text{ and } \mathcal{C}</math> do not mesh then they are {{em|dissociated}}. If <math>S \subseteq X \text{ and } \mathcal{B} \subseteq \wp(X)</math> then <math>\mathcal{B} \text{ and } S</math> are said to {{em|mesh}} if <math>\mathcal{B} \text{ and } \{S\}</math> mesh, or equivalently, if the {{em|{{visible anchor|trace|Trace on a set}}}} of <math>\mathcal{B} \text{ on } S,</math> which is the family
<math display=block>\mathcal{B}\big\vert_S = \{B \cap S ~:~ B \in \mathcal{B}\},</math> 
does not contain the empty set, where the trace is also called the {{em|{{visible anchor|restriction|Restriction to a set}}}} of <math>\mathcal{B} \text{ to } S.</math>

{{Quote frame|1=Declare that <math>\mathcal{C} \leq \mathcal{F}, \mathcal{F} \geq \mathcal{C}, \text{ and } \mathcal{F} \vdash \mathcal{C},</math> stated as <math>\mathcal{C}</math> is {{em|coarser than}} <math>\mathcal{F}</math> and <math>\mathcal{F}</math> is {{em|finer than}} (or {{em|subordinate to}}) <math>\mathcal{C},</math>{{sfn|Bourbaki|1989|pp=57–68}}{{sfn|Schubert|1968|pp=48–71}}{{sfn|Narici|Beckenstein|2011|pp=3–4}}{{sfn|Császár|1978|pp=53-65}}{{sfn|Dolecki|Mynard|2016|pp=27-54}} if any of the following equivalent conditions hold:
<ol style="list-style-type:lower-latin;">

<li>Definition: Every <math>C \in \mathcal{C}</math> {{em|includes}} some <math>F \in \mathcal{F}.</math> Explicitly, this means that for every <math>C \in \mathcal{C},</math> there is some <math>F \in \mathcal{F}</math> such that <math>F \subseteq C</math> (thus <math>\mathcal{C} \ni C \supseteq F \in \mathcal{F}</math> holds). 
* Said more briefly in plain English, <math>\mathcal{C} \leq \mathcal{F}</math> if every set in <math>\mathcal{C}</math> is {{em|larger}} than some set in <math>\mathcal{F}.</math> Here, a "larger set" means a superset. 
</li>

<li><math>\{C\} \leq \mathcal{F} \text{ for every } C \in \mathcal{C}.</math> 
* In words, <math>\{C\} \leq \mathcal{F}</math> states exactly that <math>C</math> is larger than some set in <math>\mathcal{F}.</math> The equivalence of (a) and (b) follows immediately.
</li>
<li><math>\mathcal{C} \leq \mathcal{F}^{\uparrow X},</math> which is equivalent to <math>\mathcal{C} \subseteq \mathcal{F}^{\uparrow X}</math>;</li>
<li><math>\mathcal{C}^{\uparrow X} \leq \mathcal{F}</math>;</li>
<li><math>\mathcal{C}^{\uparrow X} \leq \mathcal{F}^{\uparrow X},</math> which is equivalent to <math>\mathcal{C}^{\uparrow X} \subseteq \mathcal{F}^{\uparrow X}</math>;</li>
</ol>
<!--END: First lower-case Latin sublist-->
and if in addition <math>\mathcal{F}</math> is upward closed, which means that <math>\mathcal{F} = \mathcal{F}^{\uparrow X},</math> then this list can be extended to include:
<ol style="list-style-type:lower-latin;" start=6>
<li><math>\mathcal{C} \subseteq \mathcal{F}.</math>{{sfn|Dolecki|Mynard|2016|pp=27–29}}
* So in this case, this definition of "<math>\mathcal{F}</math> is {{em|finer}} than <math>\mathcal{C}</math>" would be identical to the [[Comparison of topologies|topological definition of "finer"]] had <math>\mathcal{C} \text{ and } \mathcal{F}</math> been topologies on <math>X.</math>
</li>
</ol>
<!--END: Continuation of first lower-case Latin sublist-->
If an upward closed family <math>\mathcal{F}</math> is finer than <math>\mathcal{C}</math> (that is, <math>\mathcal{C} \leq \mathcal{F}</math>) but <math>\mathcal{C} \neq \mathcal{F}</math> then <math>\mathcal{F}</math> is said to be {{em|strictly finer}} than <math>\mathcal{C}</math> and <math>\mathcal{C}</math> is {{em|strictly coarser}} than <math>\mathcal{F}.</math> 
Two families are {{em|comparable}} if one of them is finer than the other.{{sfn|Bourbaki|1989|pp=57–68}} 
}}

''Example'': If <math>x_{i_\bull} = \left(x_{i_n}\right)_{n=1}^\infty</math> is a [[subsequence]] of <math>x_\bull = \left(x_i\right)_{i=1}^\infty</math> then <math>\operatorname{Tails}\left(x_{i_\bull}\right)</math> is subordinate to <math>\operatorname{Tails}\left(x_\bull\right);</math> in symbols: <math>\operatorname{Tails}\left(x_{i_\bull}\right) \vdash \operatorname{Tails}\left(x_\bull\right)</math> and also <math>\operatorname{Tails}\left(x_\bull\right) \leq \operatorname{Tails}\left(x_{i_\bull}\right).</math> 
Stated in plain English, the prefilter of tails of a subsequence is always subordinate to that of the original sequence. 
To see this, let <math>C := x_{\geq i} \in \operatorname{Tails}\left(x_\bull\right)</math> be arbitrary (or equivalently, let <math>i \in \N</math> be arbitrary) and it remains to show that this set contains some <math>F := x_{i_{\geq n}} \in \operatorname{Tails}\left(x_{i_\bull}\right).</math> 
For the set <math>x_{\geq i} = \left\{x_i, x_{i+1}, \ldots\right\}</math> to contain <math>x_{i_{\geq n}} = \left\{x_{i_n}, x_{i_{n+1}}, \ldots\right\},</math> it is sufficient to have <math>i \leq i_n.</math> 
Since <math>i_1 < i_2 < \cdots</math> are strictly increasing integers, there exists <math>n \in \N</math> such that <math>i_n \geq i,</math> and so <math>x_{\geq i} \supseteq x_{i_{\geq n}}</math> holds, as desired. 
Consequently, <math>\operatorname{TailsFilter}\left(x_\bull\right) \subseteq \operatorname{TailsFilter}\left(x_{i_\bull}\right).</math> 
The left hand side will be a {{em|strict/proper}} subset of the right hand side if (for instance) every point of <math>x_\bull</math> is unique (that is, when <math>x_\bull : \N \to X</math> is injective) and <math>x_{i_\bull}</math> is the even-indexed subsequence <math>\left(x_2, x_4, x_6, \ldots\right)</math> because under these conditions, every tail <math>x_{i_{\geq n}} = \left\{x_{2n}, x_{2n + 2}, x_{2n + 4}, \ldots\right\}</math> (for every <math>n \in \N</math>) of the subsequence will belong to the right hand side filter but not to the left hand side filter.

For another example, if <math>\mathcal{B}</math> is any family then <math>\varnothing \leq \mathcal{B} \leq \mathcal{B} \leq \{\varnothing\}</math> always holds and furthermore, <math>\{\varnothing\} \leq \mathcal{B} \text{ if and only if } \varnothing \in \mathcal{B}.</math>

A non-empty family that is coarser than a filter subbase must itself be a filter subbase.{{sfn|Császár|1978|pp=53-65}} 
Every filter subbase is coarser than both the {{pi}}-system that it generates and the filter that it generates.{{sfn|Császár|1978|pp=53-65}}

If <math>\mathcal{C} \text{ and } \mathcal{F}</math> are families such that <math>\mathcal{C} \leq \mathcal{F},</math> the family <math>\mathcal{C}</math> is ultra, and <math>\varnothing \not\in \mathcal{F},</math> then <math>\mathcal{F}</math> is necessarily ultra. It follows that any family that is equivalent to an ultra family will necessarily {{em|be}} ultra. In particular, if <math>\mathcal{C}</math> is a prefilter then either both <math>\mathcal{C}</math> and the filter <math>\mathcal{C}^{\uparrow X}</math> it generates are ultra or neither one is ultra. 

The relation <math>\,\leq\,</math> is [[Reflexive relation|reflexive]] and [[Transitive relation|transitive]], which makes it into a [[preorder]] on <math>\wp(\wp(X)).</math>{{sfn|Császár|1978|pp=53-65, 82-91, 102-120}} 
The relation <math>\,\leq\, \text{ on } \operatorname{Filters}(X)</math> is [[Antisymmetric relation|antisymmetric]] but if <math>X</math> has more than one point then it is {{em|not}} [[Symmetric relation|symmetric]]. 

====Equivalent families of sets====

The preorder <math>\,\leq\,</math> induces its canonical [[equivalence relation]] on <math>\wp(\wp(X)),</math> where for all <math>\mathcal{B}, \mathcal{C} \in \wp(\wp(X)),</math> <math>\mathcal{B}</math> is {{em|equivalent}} to <math>\mathcal{C}</math> if any of the following equivalent conditions hold:{{sfn|Császár|1978|pp=53-65}}{{sfn|Dolecki|Mynard|2016|pp=27–29}}

<ol style="list-style-type:lower-latin;">
<li><math>\mathcal{C} \leq \mathcal{B} \text{ and } \mathcal{B} \leq \mathcal{C}.</math></li>
<li>The upward closures of <math>\mathcal{C} \text{ and } \mathcal{B}</math> are equal.</li>
</ol>

Two upward closed (in <math>X</math>) subsets of <math>\wp(X)</math> are equivalent if and only if they are equal.{{sfn|Császár|1978|pp=53-65}} 
If <math>\mathcal{B} \subseteq \wp(X)</math> then necessarily <math>\varnothing \leq \mathcal{B} \leq \wp(X)</math> and <math>\mathcal{B}</math> is equivalent to <math>\mathcal{B}^{\uparrow X}.</math> 
Every [[equivalence class]] other than <math>\{\varnothing\}</math> contains a unique representative (that is, element of the equivalence class) that is upward closed in <math>X.</math>{{sfn|Császár|1978|pp=53-65}}

'''Properties preserved between equivalent families'''

Let <math>\mathcal{B}, \mathcal{C} \in \wp(\wp(X))</math> be arbitrary and let <math>\mathcal{F}</math> be any family of sets. If <math>\mathcal{B} \text{ and } \mathcal{C}</math> are equivalent (which implies that <math>\ker \mathcal{B} = \ker \mathcal{C}</math>) then for each of the statements/properties listed below, either it is true of {{em|both}} <math>\mathcal{B} \text{ and } \mathcal{C}</math> or else it is false of {{em|both}} <math>\mathcal{B} \text{ and } \mathcal{C}</math>:{{sfn|Császár|1978|pp=53-65, 82-91, 102-120}} 
<ol>
<li>Not empty</li>
<li>Proper (that is, <math>\varnothing</math> is not an element)
* Moreover, any two degenerate families are necessarily equivalent.</li>
<li>Filter subbase</li>
<li>Prefilter
* In which case <math>\mathcal{B} \text{ and } \mathcal{C}</math> generate the same filter on <math>X</math> (that is, their upward closures in <math>X</math> are equal).</li>
<li>Free</li>
<li>Principal</li>
<li>Ultra</li>
<li>Is equal to the trivial filter <math>\{X\}</math>
* In words, this means that the only subset of <math>\wp(X)</math> that is equivalent to the trivial filter {{em|is}} the trivial filter. In general, this conclusion of equality does not extend to non−trivial filters (one exception is when both families are filters).</li>
<li>Meshes with <math>\mathcal{F}</math></li>
<li>Is finer than <math>\mathcal{F}</math></li>
<li>Is coarser than <math>\mathcal{F}</math></li>
<li>Is equivalent to <math>\mathcal{F}</math></li>
</ol>

Missing from the above list is the word "filter" because this property is {{em|not}} preserved by equivalence. 
However, if <math>\mathcal{B} \text{ and } \mathcal{C}</math> are filters on <math>X,</math> then they are equivalent if and only if they are equal; this characterization does {{em|not}} extend to prefilters.

'''Equivalence of prefilters and filter subbases'''

If <math>\mathcal{B}</math> is a prefilter on <math>X</math> then the following families are always equivalent to each other:
<ol>
<li><math>\mathcal{B}</math>;</li>
<li>the {{pi}}-system generated by <math>\mathcal{B}</math>;</li>
<li>the filter on <math>X</math> generated by <math>\mathcal{B}</math>;</li>
</ol>
and moreover, these three families all generate the same filter on <math>X</math> (that is, the upward closures in <math>X</math> of these families are equal).

In particular, every prefilter is equivalent to the filter that it generates. 
By transitivity, two prefilters are equivalent if and only if they generate the same filter.{{sfn|Császár|1978|pp=53-65}} 
Every prefilter is equivalent to exactly one filter on <math>X,</math> which is the filter that it generates (that is, the prefilter's upward closure). 
Said differently, every equivalence class of prefilters contains exactly one representative that is a filter. 
In this way, filters can be considered as just being distinguished elements of these equivalence classes of prefilters.{{sfn|Császár|1978|pp=53-65}}

A filter subbase that is {{em|not}} also a prefilter can{{em|not}} be equivalent to the prefilter (or filter) that it generates. 
In contrast, every prefilter is equivalent to the filter that it generates. 
This is why prefilters can, by and large, be used interchangeably with the filters that they generate while filter subbases cannot.

==Set theoretic properties and constructions relevant to topology==
{{See also|Filter (set theory)}}

===Trace and meshing===

If <math>\mathcal{B}</math> is a prefilter (resp. filter) on <math>X \text{ and } S \subseteq X</math> then the trace of <math>\mathcal{B} \text{ on } S,</math> which is the family <math>\mathcal{B}\big\vert_S := \mathcal{B} (\cap) \{S\},</math> is a prefilter (resp. a filter) if and only if <math>\mathcal{B} \text{ and } S</math> mesh (that is, <math>\varnothing \not\in \mathcal{B} (\cap) \{S\}</math>{{sfn|Bourbaki|1989|pp=57–68}}), in which case the trace of <math>\mathcal{B} \text{ on } S</math> is said to be {{em|induced by <math>S</math>}}. 
The trace is always finer than the original family; that is, <math>\mathcal{B} \leq \mathcal{B}\big\vert_S.</math>
If <math>\mathcal{B}</math> is ultra and if <math>\mathcal{B} \text{ and } S</math> mesh then the trace <math>\mathcal{B}\big\vert_S</math> is ultra. 
If <math>\mathcal{B}</math> is an ultrafilter on <math>X</math> then the trace of <math>\mathcal{B} \text{ on } S</math> is a filter on <math>S</math> if and only if <math>S \in \mathcal{B}.</math>

For example, suppose that <math>\mathcal{B}</math> is a filter on <math>X \text{ and } S \subseteq X</math> is such that <math>S \neq X \text{ and } X \setminus S \not\in \mathcal{B}.</math> Then <math>\mathcal{B} \text{ and } S</math> mesh and <math>\mathcal{B} \cup \{S\}</math> generates a filter on <math>X</math> that is strictly finer than <math>\mathcal{B}.</math>{{sfn|Bourbaki|1989|pp=57–68}}

'''When prefilters mesh'''

Given non-empty families <math>\mathcal{B} \text{ and } \mathcal{C},</math> the family
<math display=block>\mathcal{B} (\cap) \mathcal{C} := \{B \cap C ~:~ B \in \mathcal{B} \text{ and } C \in \mathcal{C}\}</math>
satisfies <math>\mathcal{C} \leq \mathcal{B} (\cap) \mathcal{C}</math> and <math>\mathcal{B} \leq \mathcal{B} (\cap) \mathcal{C}.</math> 
If <math>\mathcal{B} (\cap) \mathcal{C}</math> is proper (resp. a prefilter, a filter subbase) then this is also true of both <math>\mathcal{B} \text{ and } \mathcal{C}.</math> 
In order to make any meaningful deductions about <math>\mathcal{B} (\cap) \mathcal{C}</math> from <math>\mathcal{B} \text{ and } \mathcal{C}, \mathcal{B} (\cap) \mathcal{C}</math> needs to be proper (that is, <math>\varnothing \not\in \mathcal{B} (\cap) \mathcal{C},</math> which is the motivation for the definition of "mesh". 
In this case, <math>\mathcal{B} (\cap) \mathcal{C}</math> is a prefilter (resp. filter subbase) if and only if this is true of both <math>\mathcal{B} \text{ and } \mathcal{C}.</math> 
Said differently, if <math>\mathcal{B} \text{ and } \mathcal{C}</math> are prefilters then they mesh if and only if <math>\mathcal{B} (\cap) \mathcal{C}</math> is a prefilter. 
Generalizing gives a well known characterization of "mesh" entirely in terms of subordination (that is, <math>\,\leq\,</math>):

{{in5}}Two prefilters (resp. filter subbases) <math>\mathcal{B} \text{ and } \mathcal{C}</math> mesh if and only if there exists a prefilter (resp. filter subbase) <math>\mathcal{F}</math> such that <math>\mathcal{C} \leq \mathcal{F}</math> and <math>\mathcal{B} \leq \mathcal{F}.</math>

If the least upper bound of two filters <math>\mathcal{B} \text{ and } \mathcal{C}</math> exists in <math>\operatorname{Filters}(X)</math> then this least upper bound is equal to <math>\mathcal{B} (\cap) \mathcal{C}.</math>{{sfn|Dolecki|Mynard|2016|pp=31–32}}

===Images and preimages under functions===
{{See also|List of set identities and relations|Algebra of sets}}

Throughout, <math>f : X \to Y \text{ and } g : Y \to Z</math> will be maps between non-empty sets.

'''Images of prefilters'''

Let <math>\mathcal{B} \subseteq \wp(Y).</math> Many of the properties that <math>\mathcal{B}</math> may have are preserved under images of maps; notable exceptions include being upward closed, being closed under finite intersections, and being a filter, which are not necessarily preserved.

Explicitly, if one of the following properties is true of <math>\mathcal{B} \text{ on } Y,</math> then it will necessarily also be true of <math>g(\mathcal{B}) \text{ on } g(Y)</math> (although possibly not on the codomain <math>Z</math> unless <math>g</math> is surjective):{{sfn|Bourbaki|1989|pp=57–68}}{{sfn|Dugundji|1966|pp=215–221}}{{sfn|Dolecki|Mynard|2016|pp=37–39}}{{sfn|Arkhangel'skii|Ponomarev|1984|pp=20–22}}{{sfn|Császár|1978|pp=102-120}}{{sfn|Jech|2006|pp=73-89}} 
ultra, ultrafilter, filter, prefilter, filter subbase, dual ideal, upward closed, proper/non-degenerate, ideal, closed under finite unions, downward closed, directed upward. 
Moreover, if <math>\mathcal{B} \subseteq \wp(Y)</math> is a prefilter then so are both <math>g(\mathcal{B}) \text{ and } g^{-1}(g(\mathcal{B})).</math>{{sfn|Bourbaki|1989|pp=57–68}} 
The image under a map <math>f : X \to Y</math> of an ultra set <math>\mathcal{B} \subseteq \wp(X)</math> is again ultra and if <math>\mathcal{B}</math> is an ultra prefilter then so is <math>f(\mathcal{B}).</math>

If <math>\mathcal{B}</math> is a filter then <math>g(\mathcal{B})</math> is a filter on the range <math>g(Y),</math> but it is a filter on the codomain <math>Z</math> if and only if <math>g</math> is surjective.{{sfn|Dolecki|Mynard|2016|pp=37–39}} 
Otherwise it is just a prefilter on <math>Z</math> and its upward closure must be taken in <math>Z</math> to obtain a filter. 
The upward closure of <math>g(\mathcal{B}) \text{ in } Z</math> is
<math display=block>g(\mathcal{B})^{\uparrow Z} = \left\{S \subseteq Z ~:~ B \subseteq g^{-1}(S) \text{ for some } B \in \mathcal{B}\right\}</math>
where if <math>\mathcal{B}</math> is upward closed in <math>Y</math> (that is, a filter) then this simplifies to:
<math display=block>g(\mathcal{B})^{\uparrow Z} = \left\{S \subseteq Z ~:~ g^{-1}(S) \in \mathcal{B}\right\}.</math>

If <math>X \subseteq Y</math> then taking <math>g</math> to be the inclusion map <math>X \to Y</math> shows that any prefilter (resp. ultra prefilter, filter subbase) on <math>X</math> is also a prefilter (resp. ultra prefilter, filter subbase) on <math>Y.</math>{{sfn|Bourbaki|1989|pp=57–68}}

'''Preimages of prefilters'''

Let <math>\mathcal{B} \subseteq \wp(Y).</math> 
Under the assumption that <math>f : X \to Y</math> is [[Surjective function|surjective]]:

{{in5}}<math>f^{-1}(\mathcal{B})</math> is a prefilter (resp. filter subbase, {{pi}}-system, closed under finite unions, proper) if and only if this is true of <math>\mathcal{B}.</math>

However, if <math>\mathcal{B}</math> is an ultrafilter on <math>Y</math> then even if <math>f</math> is surjective (which would make <math>f^{-1}(\mathcal{B})</math> a prefilter), it is nevertheless still possible for the prefilter <math>f^{-1}(\mathcal{B})</math> to be neither ultra nor a filter on <math>X.</math>{{hsp}}{{sfn|Arkhangel'skii|Ponomarev|1984|pp=20–22}} 

If <math>f : X \to Y</math> is not surjective then denote the trace of <math>\mathcal{B} \text{ on } f(X)</math> by <math>\mathcal{B}\big\vert_{f(X)},</math> where in this case particular case the trace satisfies:
<math display=block>\mathcal{B}\big\vert_{f(X)} = f\left(f^{-1}(\mathcal{B})\right)</math>
and consequently also:
<math display=block>f^{-1}(\mathcal{B}) = f^{-1}\left(\mathcal{B}\big\vert_{f(X)}\right).</math>

This last equality and the fact that the trace <math>\mathcal{B}\big\vert_{f(X)}</math> is a family of sets over <math>f(X)</math> means that to draw conclusions about <math>f^{-1}(\mathcal{B}),</math> the trace <math>\mathcal{B}\big\vert_{f(X)}</math> can be used in place of <math>\mathcal{B}</math> and the {{em|surjection}} <math>f : X \to f(X)</math> can be used in place of <math>f : X \to Y.</math> 
For example:{{sfn|Dugundji|1966|pp=215–221}}{{sfn|Bourbaki|1989|pp=57–68}}{{sfn|Császár|1978|pp=102-120}}

{{in5}}<math>f^{-1}(\mathcal{B})</math> is a prefilter (resp. filter subbase, {{pi}}-system, proper) if and only if this is true of <math>\mathcal{B}\big\vert_{f(X)}.</math>

In this way, the case where <math>f</math> is not (necessarily) surjective can be reduced down to the case of a surjective function (which is a case that was described at the start of this subsection).

Even if <math>\mathcal{B}</math> is an ultrafilter on <math>Y,</math> if <math>f</math> is not surjective then it is nevertheless possible that <math>\varnothing \in \mathcal{B}\big\vert_{f(X)},</math> which would make <math>f^{-1}(\mathcal{B})</math> degenerate as well. The next characterization shows that degeneracy is the only obstacle. If <math>\mathcal{B}</math> is a prefilter then the following are equivalent:{{sfn|Dugundji|1966|pp=215–221}}{{sfn|Bourbaki|1989|pp=57–68}}{{sfn|Császár|1978|pp=102-120}}

<ol>
<li><math>f^{-1}(\mathcal{B})</math> is a prefilter;</li>
<li><math>\mathcal{B}\big\vert_{f(X)}</math> is a prefilter;</li>
<li><math>\varnothing \not\in \mathcal{B}\big\vert_{f(X)}</math>;</li>
<li><math>\mathcal{B}</math> meshes with <math>f(X)</math></li>
</ol>

and moreover, if <math>f^{-1}(\mathcal{B})</math> is a prefilter then so is <math>f\left(f^{-1}(\mathcal{B})\right).</math>{{sfn|Dugundji|1966|pp=215–221}}{{sfn|Bourbaki|1989|pp=57–68}}

If <math>S \subseteq Y</math> and if <math>\operatorname{In} : S \to Y</math> denotes the inclusion map then the trace of <math>\mathcal{B} \text{ on } S</math> is equal to <math>\operatorname{In}^{-1}(\mathcal{B}).</math>{{sfn|Bourbaki|1989|pp=57–68}} This observation allows the results in this subsection to be applied to investigating the trace on a set.

====Subordination is preserved by images and preimages====

The relation <math>\,\leq\,</math> is preserved under both images and preimages of families of sets.{{sfn|Bourbaki|1989|pp=57–68}} 
This means that for {{em|any}} families <math>\mathcal{C} \text{ and } \mathcal{F},</math>{{sfn|Császár|1978|pp=102-120}} 
<math display=block>\mathcal{C} \leq \mathcal{F} \quad \text{ implies } \quad g(\mathcal{C}) \leq g(\mathcal{F}) \quad \text{ and } \quad f^{-1}(\mathcal{C}) \leq f^{-1}(\mathcal{F}).</math>

Moreover, the following relations always hold for {{em|any}} family of sets <math>\mathcal{C}</math>:{{sfn|Császár|1978|pp=102-120}} 
<!--thus the prefilters <math>\mathcal{B} \text{ and } f\left(f^{-1}(\mathcal{B})\right)</math> are equivalent;-->
<math display=block>\mathcal{C} \leq f\left(f^{-1}(\mathcal{C})\right)</math> 
where equality will hold if <math>f</math> is surjective.{{sfn|Császár|1978|pp=102-120}} 
Furthermore,
<math display=block>f^{-1}(\mathcal{C}) = f^{-1}\left(f\left(f^{-1}(\mathcal{C})\right)\right) \quad \text{ and } \quad g(\mathcal{C}) = g\left(g^{-1}(g(\mathcal{C}))\right).</math>

If <math>\mathcal{B} \subseteq \wp(X) \text{ and } \mathcal{C} \subseteq \wp(Y)</math> then{{sfn|Dolecki|Mynard|2016|pp=27-54}} 
<math display=block>f(\mathcal{B}) \leq \mathcal{C} \quad \text{ if and only if } \quad \mathcal{B} \leq f^{-1}(\mathcal{C})</math>
and <math>g^{-1}(g(\mathcal{C})) \leq \mathcal{C}</math>{{sfn|Császár|1978|pp=102-120}} where equality will hold if <math>g</math> is injective.{{sfn|Császár|1978|pp=102-120}}

===Products of prefilters===

Suppose <math>X_\bull = \left(X_i\right)_{i \in I}</math> is a family of one or more non-empty sets, whose product will be denoted by <math>{\textstyle\prod_{}} X_\bull := {\textstyle\prod\limits_{i \in I}} X_i,</math> and for every index <math>i \in I,</math> let 
<math display=block>\Pr{}_{X_i} : \prod X_\bull \to X_i</math>
denote the canonical projection. 
Let <math>\mathcal{B}_\bull := \left(\mathcal{B}_i\right)_{i \in I}</math> be non−empty families, also indexed by <math>I,</math> such that <math>\mathcal{B}_i \subseteq \wp\left(X_i\right)</math> for each <math>i \in I.</math> 
The {{em|product}} of the families <math>\mathcal{B}_\bull</math>{{sfn|Bourbaki|1989|pp=57–68}} is defined identically to how the basic open subsets of the [[product topology]] are defined (had all of these <math>\mathcal{B}_i</math> been topologies). That is, both the notations 
<math display=block>\prod_{} \mathcal{B}_\bull = \prod_{i \in I} \mathcal{B}_i</math>
denote the family of all [[Cylinder set|cylinder subsets]] <math>{\textstyle\prod\limits_{i \in I}} S_i \subseteq {\textstyle\prod} X_\bull</math> such that <math>S_i = X_i</math> for all but finitely many <math>i \in I</math> and where <math>S_i \in \mathcal{B}_i</math> for any one of these finitely many exceptions (that is, for any <math>i</math> such that <math>S_i \neq X_i,</math> necessarily <math>S_i \in \mathcal{B}_i</math>). 
When every <math>\mathcal{B}_i</math> is a filter subbase then the family <math>{\textstyle\bigcup\limits_{i \in I}} \Pr{}_{X_i}^{-1} \left(\mathcal{B}_i\right)</math> is a filter subbase for the filter on <math>{\textstyle\prod} X_\bull</math> generated by <math>\mathcal{B}_\bull.</math>{{sfn|Bourbaki|1989|pp=57–68}} 
If <math>{\textstyle\prod} \mathcal{B}_\bull</math> is a filter subbase then the filter on <math>{\textstyle\prod} X_\bull</math> that it generates is called the {{em|filter generated by <math>\mathcal{B}_\bull</math>}}.{{sfn|Bourbaki|1989|pp=57–68}} 
If every <math>\mathcal{B}_i</math> is a prefilter on <math>X_i</math> then <math>{\textstyle\prod} \mathcal{B}_\bull</math> will be a prefilter on <math>{\textstyle\prod} X_\bull</math> and moreover, this prefilter is equal to the coarsest prefilter <math>\mathcal{F} \text{ on } {\textstyle\prod} X_\bull</math> such that 
<math>\Pr{}_{X_i} (\mathcal{F}) = \mathcal{B}_i</math> 
for every <math>i \in I.</math>{{sfn|Bourbaki|1989|pp=57–68}} 
However, <math>{\textstyle\prod} \mathcal{B}_\bull</math> may fail to be a filter on <math>{\textstyle\prod} X_\bull</math> even if every <math>\mathcal{B}_i</math> is a filter on <math>X_i.</math>{{sfn|Bourbaki|1989|pp=57–68}}

==Convergence, limits, and cluster points==

Throughout, <math>(X, \tau)</math> is a [[topological space]].

'''Prefilters vs. filters'''

With respect to maps and subsets, the property of being a prefilter is in general more well behaved and better preserved than the property of being a filter. For instance, the image of a prefilter under some map is again a prefilter; but the image of a filter under a non-surjective map is {{em|never}} a filter on the codomain, although it will be a prefilter. The situation is the same with preimages under non-injective maps (even if the map is surjective). If <math>S \subseteq X</math> is a proper subset then any filter on <math>S</math> will not be a filter on <math>X,</math> although it will be a prefilter.

One advantage that filters have is that they are distinguished representatives of their equivalence class (relative to <math>\,\leq</math>), meaning that any equivalence class of prefilters contains a unique filter. This property may be useful when dealing with equivalence classes of prefilters (for instance, they are useful in the construction of completions of [[uniform space]]s via Cauchy filters). The many properties that characterize ultrafilters are also often useful. They are used to, for example, construct the [[Stone–Čech compactification]]. The use of ultrafilters generally requires that the ultrafilter lemma be assumed. But in the many fields where the [[axiom of choice]] (or the [[Hahn–Banach theorem]]) is assumed, the ultrafilter lemma necessarily holds and does not require an addition assumption.

'''A note on intuition'''

Suppose that <math>\mathcal{F}</math> is a non-principal filter on an infinite set <math>X.</math> <math>\mathcal{F}</math> has one "upward" property (that of being closed upward) and one "downward" property (that of being directed downward). 
Starting with any <math>F_0 \in \mathcal{F},</math> there always exists some <math>F_1 \in \mathcal{F}</math> that is a {{em|proper}} subset of <math>F_0</math>; this may be continued ad infinitum to get a sequence <math>F_0 \supsetneq F_1 \supsetneq \cdots</math> of sets in <math>\mathcal{F}</math> with each <math>F_{i+1}</math> being a {{em|proper}} subset of <math>F_i.</math> The same is {{em|not}} true going "upward", for if <math>F_0 = X \in \mathcal{F}</math> then there is no set in <math>\mathcal{F}</math> that contains <math>X</math> as a proper subset. 
Thus when it comes to limiting behavior (which is a topic central to the field of topology), going "upward" leads to a [[wikt:dead end|dead end]], while going "downward" is typically fruitful. So to gain understanding and intuition about how filters (and prefilter) relate to concepts in topology, the "downward" property is usually the one to concentrate on. This is also why so many topological properties can be described by using only prefilters, rather than requiring filters (which only differ from prefilters in that they are also upward closed). 
The "upward" property of filters is less important for topological intuition but it is sometimes useful to have for technical reasons. For example, with respect to <math>\,\subseteq,</math> every filter subbase is contained in a unique smallest filter but there may not exist a unique smallest prefilter containing it.

===Limits and convergence===

{{in5}}A family <math>\mathcal{B}</math> is said to '''{{em|{{visible anchor|Convergent filter|Convergent prefilter|Convergent family|text=converge}} in <math>(X, \tau)</math>}}''' to a point <math>x</math> of <math>X</math>{{sfn|Narici|Beckenstein|2011|pp=2–7}} if <math>\mathcal{B} \geq \mathcal{N}(x).</math> Explicitly, <math>\mathcal{N}(x) \leq \mathcal{B}</math> means that every neighborhood <math>N \text{ of } x</math> contains some <math>B \in \mathcal{B}</math> as a subset (that is, <math>B \subseteq N</math>); thus the following then holds: <math>\mathcal{N} \ni N \supseteq B \in \mathcal{B}.</math> In words, a family converges to a point or subset <math>x</math> if and only if it is {{em|finer}} than the neighborhood filter at <math>x.</math> 
A family <math>\mathcal{B}</math> converging to a point <math>x</math> may be indicated by writing <math>\mathcal{B} \to x \text{ or } \lim \mathcal{B} \to x \text{ in } X</math>{{sfn|Wilansky|2008|pp=32-35}} and saying that <math>x</math> is a '''{{em|{{visible anchor|Limit of a filter|Limit of a prefilter|Limit of a family|Limit|Limit point|text=limit}}}}''' of <math>\mathcal{B} \text{ in } X;</math> if this limit <math>x</math> is a point (and not a subset), then <math>x</math> is also called a '''{{em|{{visible anchor|Limit point of a filter|Limit point of a prefilter|Limit point of a family|text=limit point}}}}'''.{{sfn|Bourbaki|1989|pp=68-83}}
As usual, <math>\lim \mathcal{B} = x</math> is defined to mean that <math>\mathcal{B} \to x</math> and <math>x \in X</math> is the {{em|only}} limit point of <math>\mathcal{B};</math> that is, if also <math>\mathcal{B} \to z \text{ then } z = x.</math>{{sfn|Wilansky|2008|pp=32-35}}  (If the notation "<math>\lim \mathcal{B} = x</math>" did not also require that the limit point <math>x</math> be unique then the [[equals sign]] {{=}} would no longer be guaranteed to be [[Transitive relation|transitive]]). 
The set of all limit points of <math>\mathcal{B}</math> is denoted by <math>\lim {}_X \mathcal{B} \text{ or } \lim \mathcal{B}.</math>{{sfn|Narici|Beckenstein|2011|pp=2–7}} 

In the above definitions, it suffices to check that <math>\mathcal{B}</math> is finer than some (or equivalently, finer than every) [[neighborhood base]] in <math>(X, \tau)</math> of the point (for example, such as <math>\tau(x) = \{U \in \tau : x \in U\}</math> or <math>\tau(S) = {\textstyle\bigcap\limits_{s \in S}} \tau(s)</math> when <math>S \neq \varnothing</math>). 

'''Examples'''

If <math>X := \R^n</math> is [[Euclidean space]] and <math>\|x\|</math> denotes the [[Euclidean norm]] (which is the distance from the origin, defined as usual), then all of the following families converge to the origin:

# the prefilter <math>\{B_r(0) : 0 < r \leq 1\}</math> of all open balls centered at the origin, where <math>B_r(z) = \{x : \|x - z\| < r\}.</math> 
# the prefilter <math>\{B_{\leq r}(0) : 0 < r \leq 1\}</math> of all closed balls centered at the origin, where <math>B_{\leq r}(z) = \{x : \|x - z\| \leq r\}.</math> This prefilter is equivalent to the one above.
# the prefilter <math>\{R \cap B_{\leq r}(0) : 0 < r \leq 1\}</math> where <math>R = S_1 \cup S_{1/2} \cup S_{1/3} \cup \cdots</math> is a union of spheres <math>S_r = \{x : \|x\| = r\}</math> centered at the origin having progressively smaller radii. This family consists of the sets <math>S_{1/n} \cup S_{1/(n+1)} \cup S_{1/(n+2)} \cup \cdots</math> as <math>n</math> ranges over the positive integers.
# any of the families above but with the radius <math>r</math> ranging over <math>1, \, 1/2, \, 1/3, \, 1/4, \ldots</math> (or over any other positive decreasing sequence) instead of over all positive reals. 
#* Drawing or imagining any one of these [[#Prefilters as nets of sets|sequences of sets]] when <math>X = \R^2</math> has dimension <math>n = 2</math> suggests that intuitively, these sets "should" converge to the origin (and indeed they do). This is the intuition that the above definition of a "convergent prefilter" make rigorous.
Although <math>\|\cdot\|</math> was assumed to be the [[Euclidean norm]], the example above remains valid for any other [[Norm (mathematics)|norm]] on <math>\R^n.</math> 

The one and only limit point in <math>X := \R</math> of the free prefilter <math>\{(0, r) : r > 0\}</math> is <math>0</math> since every open ball around the origin contains some open interval of this form. 
The fixed prefilter <math>\mathcal{B} := \{[0, 1 + r) : r > 0\}</math> does not converges in <math>\R</math> to any {{em|point}} and so <math>\lim \mathcal{B} = \varnothing,</math> although <math>\mathcal{B}</math> does converge to the {{em|set}} <math>\ker \mathcal{B} = [0, 1]</math> since <math>\mathcal{N}([0, 1]) \leq \mathcal{B}.</math> 
However, not every fixed prefilter converges to its kernel. For instance, the fixed prefilter <math>\{[0, 1 + r) \cup (1 + 1/r, \infty) : r > 0\}</math> also has kernel <math>[0, 1]</math> but does not converges (in <math>\R</math>) to it.

The free prefilter <math>(\R, \infty) := \{(r, \infty) : r \in \R\}</math> of intervals does not converge (in <math>\R</math>) to any point. 
The same is also true of the prefilter <math>[\R, \infty) := \{[r, \infty) : r \in \R\}</math> because it is [[#equivalent|equivalent]] to <math>(\R, \infty)</math> and equivalent families have the same limits. 
In fact, if <math>\mathcal{B}</math> is any prefilter in any topological space <math>X</math> then for every <math>S \in \mathcal{B}^{\uparrow X},</math> <math>\mathcal{B} \to S.</math> 
More generally, because the only neighborhood of <math>X</math> is itself (that is, <math>\mathcal{N}(X) = \{X\}</math>), every non-empty family (including every filter subbase) converges to <math>X.</math> 

For any point <math>x,</math> its neighborhood filter <math>\mathcal{N}(x) \to x</math> always converges to <math>x.</math> More generally, any [[neighborhood basis]] at <math>x</math> converges to <math>x.</math> 
A point <math>x</math> is always a limit point of the principle ultra prefilter <math>\{\{x\}\}</math> and of the ultrafilter that it generates. 
The empty family <math>\mathcal{B} = \varnothing</math> does not converge to any point. 

'''Basic properties'''

If <math>\mathcal{B}</math> converges to a point then the same is true of any family finer than <math>\mathcal{B}.</math> 
This has many important consequences. 
One consequence is that the limit points of a family <math>\mathcal{B}</math> are the same as the limit points of its upward closure: <math display=block>\operatorname{lim}_X \mathcal{B} ~=~ \operatorname{lim}_X \left(\mathcal{B}^{\uparrow X}\right).</math> 
In particular, the limit points of a prefilter are the same as the limit points of the filter that it generates. 
Another consequence is that if a family converges to a point then the same is true of the family's trace/restriction to any given subset of <math>X.</math>
If <math>\mathcal{B}</math> is a prefilter and <math>B \in \mathcal{B}</math> then <math>\mathcal{B}</math> converges to a point of <math>X</math> if and only if this is true of the trace <math>\mathcal{B}\big\vert_B.</math>{{sfn|Dixmier|1984|pp=13–18}}
If a filter subbase converges to a point then do the filter and the {{pi}}-system that it generates, although the converse is not guaranteed. For example, the filter subbase <math>\{(-\infty, 0], [0, \infty)\}</math> does not converge to <math>0</math> in <math>X := \R</math> although the (principle ultra) filter that it generates does. 

Given <math>x \in X,</math> the following are equivalent for a prefilter <math>\mathcal{B}:</math>
<ol>
<li><math>\mathcal{B}</math> converges to <math>x.</math></li>
<li><math>\mathcal{B}^{\uparrow X}</math> converges to <math>x.</math></li>
<li>There exists a family equivalent to <math>\mathcal{B}</math> that converges to <math>x.</math></li>
</ol>

Because subordination is transitive, if <math>\mathcal{B} \leq \mathcal{C} \text{ then } \lim {}_{X} \mathcal{B} \subseteq \lim {}_{X} \mathcal{C}</math> and moreover, for every <math>x \in X,</math> both <math>\{x\}</math> and the maximal/ultrafilter <math>\{x\}^{\uparrow X}</math> converge to <math>x.</math> Thus every topological space <math>(X, \tau)</math> induces a canonical [[Convergence space|convergence]] <math>\xi \subseteq X \times \operatorname{Filters}(X)</math> defined by <math>(x, \mathcal{B}) \in \xi \text{ if and only if } x \in \lim {}_{(X, \tau)} \mathcal{B}.</math> 
At the other extreme, the neighborhood filter <math>\mathcal{N}(x)</math> is the smallest (that is, coarsest) filter on <math>X</math> that converges to <math>x;</math> that is, any filter converging to <math>x</math> must contain <math>\mathcal{N}(x)</math> as a subset. Said differently, the family of filters that converge to <math>x</math> consists exactly of those filter on <math>X</math> that contain <math>\mathcal{N}(x)</math> as a subset. 
Consequently, the finer the topology on <math>X</math> then the {{em|fewer}} prefilters exist that have any limit points in <math>X.</math>
<!--
The following well known definition will be generalized to prefilters. 
A point <math>x \in X</math> is called a {{em|[[Limit point of a set|limit point]]}}, {{em|[[Cluster point of a set|cluster point]]}}, or {{em|accumulation point}} of a subset <math>S \subseteq X</math> if every neighborhood of <math></math> contains a point of <math>S</math> different from <math>x,</math> or equivalently, if <math>x \in \operatorname{cl}_{X}(S \setminus \{x\}).</math> The set of all limit points of <math>S</math> is called the [[Derived set (mathematics)|derived set]] of <math>S \text{ in } X.</math> 
The closure of a set <math>S \subseteq X</math> is equal to the union of <math>S</math> together with the set of all limit points of <math>S.</math>
-->

===Cluster points===

A family <math>\mathcal{B}</math> is said to '''{{em|cluster at}}''' a point <math>x</math> of <math>X</math> if it meshes with the neighborhood filter of <math>x;</math> that is, if <math>\mathcal{B} \# \mathcal{N}(x).</math> Explicitly, this means that <math>B \cap N \neq \varnothing \text{ for every } B \in \mathcal{B}</math> and every neighborhood <math>N</math> of <math>x.</math> 
In particular, a point <math>x \in X</math> is a '''{{em|{{visible anchor|Cluster point of a filter|Cluster point of a prefilter|Cluster point of a family|Cluster point|text=cluster point}}}}''' or an '''{{em|{{visible anchor|Accumulation point of a filter|Accumulation point of a prefilter|Accumulation point of a family|Accumulation point|text=accumulation point}}}}''' of a family <math>\mathcal{B}</math>{{sfn|Narici|Beckenstein|2011|pp=2–7}} if <math>\mathcal{B}</math> meshes with the neighborhood filter at <math>x: \ \mathcal{B} \# \mathcal{N}(x).</math> The set of all cluster points of <math>\mathcal{B}</math> is denoted by <math>\operatorname{cl}_X \mathcal{B},</math> where the subscript may be dropped if not needed.

In the above definitions, it suffices to check that <math>\mathcal{B}</math> meshes with some (or equivalently, meshes with every) [[neighborhood base]] in <math>X</math> of <math>x \text{ or } S.</math> 
When <math>\mathcal{B}</math> is a prefilter then the definition of "<math>\mathcal{B} \text{ and } \mathcal{N}</math> mesh" can be characterized entirely in terms of the subordination preorder <math>\,\leq\,.</math>

Two equivalent families of sets have the exact same limit points and also the same cluster points. No matter the topology, for every <math>x \in X,</math> both <math>\{x\}</math> and the principal ultrafilter <math>\{x\}^{\uparrow X}</math> cluster at <math>x.</math> 
If <math>\mathcal{B}</math> clusters to a point then the same is true of any family coarser than <math>\mathcal{B}.</math> Consequently, the cluster points of a family <math>\mathcal{B}</math> are the same as the cluster points of its upward closure: <math display=block>\operatorname{cl}_X \mathcal{B} ~=~ \operatorname{cl}_X \left(\mathcal{B}^{\uparrow X}\right).</math> 
In particular, the cluster points of a prefilter are the same as the cluster points of the filter that it generates. 

Given <math>x \in X,</math> the following are equivalent for a prefilter <math>\mathcal{B} \text{ on } X</math>: 
<ol>
<li><math>\mathcal{B}</math> clusters at <math>x.</math></li>
<li>The family <math>\mathcal{B}^{\uparrow X}</math> generated by <math>\mathcal{B}</math> clusters at <math>x.</math></li>
<li>There exists a family equivalent to <math>\mathcal{B}</math> that clusters at <math>x.</math></li>
<li><math>x \in {\textstyle\bigcap\limits_{F \in \mathcal{B}}} \operatorname{cl}_X F.</math>{{sfn|Bourbaki|1989|pp=69}}</li>
<li><math>X \setminus N \not\in \mathcal{B}^{\uparrow X}</math> for every neighborhood <math>N</math> of <math>x.</math>
* If <math>\mathcal{B}</math> is a filter on <math>X</math> then <math>x \in \operatorname{cl}_X \mathcal{B} \text{ if and only if } X \setminus N \not\in \mathcal{B}</math> for every neighborhood <math>N \text{ of } x.</math></li>
<li>There exists a prefilter <math>\mathcal{F}</math> subordinate to <math>\mathcal{B}</math> (that is, <math>\mathcal{F} \geq \mathcal{B}</math>) that converges to <math>x.</math>
* This is the filter equivalent of "<math>x</math> is a cluster point of a sequence if and only if there exists a [[Subsequential limit|subsequence converging]] to <math>x.</math>
* In particular, if <math>x</math> is a cluster point of a prefilter <math>\mathcal{B}</math> then <math>\mathcal{B} (\cap) \mathcal{N}(x)</math> is a prefilter subordinate to <math>\mathcal{B}</math> that converges to <math>x.</math></li>
</ol>

The set <math>\operatorname{cl}_X \mathcal{B}</math> of all cluster points of a prefilter <math>\mathcal{B}</math> satisfies
<math display=block>\operatorname{cl}_X \mathcal{B} = \bigcap_{B \in \mathcal{B}} \operatorname{cl}_X B.</math>
Consequently, the set <math>\operatorname{cl}_X \mathcal{B}</math> of all cluster points of {{em|any}} prefilter <math>\mathcal{B}</math> is a closed subset of <math>X.</math>{{sfn|Bourbaki|1989|pp=68–74}}{{sfn|Narici|Beckenstein|2011|pp=2–7}} This also justifies the notation <math>\operatorname{cl}_X \mathcal{B}</math> for the set of cluster points.{{sfn|Narici|Beckenstein|2011|pp=2–7}} 
In particular, if <math>K \subseteq X</math> is non-empty (so that <math>\mathcal{B} := \{K\}</math> is a prefilter) then <math>\operatorname{cl}_X \{K\} = \operatorname{cl}_X K</math> since both sides are equal to <math>{\textstyle\bigcap\limits_{B \in \mathcal{B}}} \operatorname{cl}_X B.</math>

===Properties and relationships===

Just like sequences and nets, it is possible for a prefilter on a topological space of infinite cardinality to not have {{em|any}} cluster points or limit points.{{sfn|Bourbaki|1989|pp=68–74}}

If <math>x</math> is a limit point of <math>\mathcal{B}</math> then <math>x</math> is necessarily a limit point of any family <math>\mathcal{C}</math> '''{{em|finer}}''' than <math>\mathcal{B}</math> (that is, if <math>\mathcal{N}(x) \leq \mathcal{B} \text{ and } \mathcal{B} \leq \mathcal{C}</math> then <math>\mathcal{N}(x) \leq \mathcal{C}</math>).{{sfn|Bourbaki|1989|pp=68–74}} 
In contrast, if <math>x</math> is a cluster point of <math>\mathcal{B}</math> then <math>x</math> is necessarily a cluster point of any family <math>\mathcal{C}</math> '''{{em|coarser}}''' than <math>\mathcal{B}</math> (that is, if <math>\mathcal{N}(x) \text{ and } \mathcal{B}</math> mesh and <math>\mathcal{C} \leq \mathcal{B}</math> then <math>\mathcal{N}(x) \text{ and } \mathcal{C}</math> mesh).

'''Equivalent families and subordination'''

Any two equivalent families <math>\mathcal{B} \text{ and } \mathcal{C}</math> can be used {{em|interchangeably}} in the definitions of "limit of" and "cluster at" because their equivalency guarantees that <math>\mathcal{N} \leq \mathcal{B}</math> if and only if <math>\mathcal{N} \leq \mathcal{C},</math> and also that <math>\mathcal{N} \# \mathcal{B}</math> if and only if <math>\mathcal{N} \# \mathcal{C}.</math> 
In essence, the preorder <math>\,\leq\,</math> is incapable of distinguishing between equivalent families. 
Given two prefilters, whether or not they mesh can be characterized entirely in terms of subordination. 
Thus the two most fundamental concepts related to (pre)filters to [[Topology]] (that is, limit and cluster points) can both be defined {{em|entirely}} in terms of the subordination relation. This is why the preorder <math>\,\leq\,</math> is of such great importance in applying (pre)filters to Topology.

'''Limit and cluster point relationships and sufficient conditions'''

Every limit point of a non-degenerate family <math>\mathcal{B}</math> is also a cluster point; in symbols: 
<math display=block>\operatorname{lim}_X \mathcal{B} ~\subseteq~ \operatorname{cl}_X \mathcal{B}.</math>
This is because if <math>x</math> is a limit point of <math>\mathcal{B}</math> then <math>\mathcal{N}(x) \text{ and } \mathcal{B}</math> mesh,{{sfn|Dugundji|1966|pp=211–213}}{{sfn|Bourbaki|1989|pp=68–74}} which makes <math>x</math> a cluster point of <math>\mathcal{B}.</math>{{sfn|Narici|Beckenstein|2011|pp=2–7}} But in general, a cluster point need not be a limit point. For instance, every point in any given non-empty subset <math>K \subseteq X</math> is a cluster point of the principle prefilter <math>\mathcal{B} := \{K\}</math> (no matter what topology is on <math>X</math>) but if <math>X</math> is Hausdorff and <math>K</math> has more than one point then this prefilter has no limit points; the same is true of the filter <math>\{K\}^{\uparrow X}</math> that this prefilter generates. 

However, every cluster point of an {{em|ultra}} prefilter is a limit point. Consequently, the limit points of an {{em|ultra}} prefilter <math>\mathcal{B}</math> are the same as its cluster points: <math>\operatorname{lim}_X \mathcal{B} = \operatorname{cl}_X \mathcal{B};</math> that is to say, a given point is a cluster point of an ultra prefilter <math>\mathcal{B}</math> if and only if <math>\mathcal{B}</math> converges to that point.{{sfn|Dugundji|1966|pp=219–221}}{{sfn|Bourbaki|1989|p=70}} 
Although a cluster point of a filter need not be a limit point, there will always exist a finer filter that does converge to it; in particular, if <math>\mathcal{B}</math> clusters at <math>x</math> then <math>\mathcal{B} \,(\cap)\, \mathcal{N}(x) = \{B \cap N : B \in \mathcal{B}, N \in \mathcal{N}(x)\}</math> is a filter subbase whose generated filter converges to <math>x.</math> 

If <math>\varnothing \neq \mathcal{B} \subseteq \wp(X) \text{ and } \mathcal{S} \geq \mathcal{B}</math> is a filter subbase such that <math>\mathcal{S} \to x \text{ in } X</math> then <math>x \in \operatorname{cl}_X \mathcal{B}.</math> In particular, any limit point of a filter subbase subordinate to <math>\mathcal{B} \neq \varnothing</math> is necessarily also a cluster point of <math>\mathcal{B}.</math> 
If <math>x</math> is a cluster point of a prefilter <math>\mathcal{B}</math> then <math>\mathcal{B} (\cap) \mathcal{N}(x)</math> is a prefilter subordinate to <math>\mathcal{B}</math> that converges to <math>x \text{ in } X.</math>

If <math>S \subseteq X</math> and if <math>\mathcal{B}</math> is a prefilter on <math>S</math> then every cluster point of <math>\mathcal{B} \text{ in } X</math> belongs to <math>\operatorname{cl}_X S</math> and any point in <math>\operatorname{cl}_X S</math> is a limit point of a filter on <math>S.</math>{{sfn|Bourbaki|1989|pp=68–74}}

'''Primitive sets'''

A subset <math>P \subseteq X</math> is called {{em|{{visible anchor|Primitive set|text=primitive}}}}{{sfn|Bourbaki|1989|pp=132–133}} if it is the set of limit points of some ultrafilter (or equivalently, some ultra prefilter). That is, if there exists an ultrafilter <math>\mathcal{B} \text{ on } X</math> such that <math>P</math> is equal to <math>\operatorname{lim}_X \mathcal{B},</math> which recall denotes the set of limit points of <math>\mathcal{B} \text{ in } X.</math> Since limit points are the same as cluster points for ultra prefilters, a subset is primitive if and only if it is equal to the set <math>\operatorname{cl}_X \mathcal{B}</math> of cluster points of some ultra prefilter <math>\mathcal{B}.</math> 
For example, every closed singleton subset is primitive.{{sfn|Bourbaki|1989|pp=132–133}} The image of a primitive subset of <math>X</math> under a continuous map <math>f : X \to Y</math> is contained in a primitive subset of <math>Y.</math>{{sfn|Bourbaki|1989|pp=132–133}}

Assume that <math>P, Q \subseteq X</math> are two primitive subset of <math>X.</math> 
If <math>U</math> is an open subset of <math>X</math> that intersects <math>P</math> then <math>U \in \mathcal{B}</math> for any ultrafilter <math>\mathcal{B} \text{ on } X</math> such that <math>P = \operatorname{lim}_X \mathcal{B}.</math>{{sfn|Bourbaki|1989|pp=132–133}} 
In addition, if <math>P \text{ and } Q</math> are distinct then there exists some <math>S \subseteq X</math> and some ultrafilters <math>\mathcal{B}_P \text{ and } \mathcal{B}_Q \text{ on } X</math> such that <math>P = \operatorname{lim}_X \mathcal{B}_P, Q = \operatorname{lim}_X \mathcal{B}_Q, S \in \mathcal{B}_P,</math> and <math>X \setminus S \in \mathcal{B}_Q.</math>{{sfn|Bourbaki|1989|pp=132–133}}

'''Other results'''

{{See also|Limit superior and limit inferior#Definition for filter bases}}

If <math>X</math> is a [[complete lattice]] then:{{citation needed|date=November 2020}}
* The [[limit inferior]] of <math>B</math> is the [[infimum]] of the set of all cluster points of <math>B.</math>
* The [[limit superior]] of <math>B</math> is the [[supremum]] of the set of all cluster points of <math>B.</math>
* <math>B</math> is a convergent prefilter [[if and only if]] its limit inferior and limit superior agree; in this case, the value on which they agree is the limit of the prefilter.

{{anchor|Limits of functions|Limit points of functions}}

===Limits of functions defined as limits of prefilters===
{{anchor|Limit of a function|Limit point of a function}}
{{anchor|Limit of a function with respect to a filter|Limit point of a function with respect to a filter}}
{{anchor|Cluster point of a function|Cluster points of functions}}

{{See also|Limit of a function|One-sided limit}}

Suppose <math>f : X \to Y</math> is a map from a set into a topological space <math>Y,</math> <math>\mathcal{B} \subseteq \wp(X),</math> and <math>y \in Y.</math> If <math>y</math> is a limit point (respectively, a cluster point) of <math>f(\mathcal{B}) \text{ in } Y</math> then <math>y</math> is called a '''{{em|limit point}}''' or '''{{em|limit}}''' (respectively, a''' {{em|cluster point}}''') '''{{em|of <math>f</math> with respect to <math>\mathcal{B}.</math>}}'''{{sfn|Bourbaki|1989|pp=68–74}}  
Explicitly, <math>y</math> is a limit of <math>f</math> with respect to <math>\mathcal{B}</math> if and only if <math>\mathcal{N}(y) \leq f(\mathcal{B}),</math> which can be written as <math>f(\mathcal{B}) \to y \text{ or } \lim f(\mathcal{B}) \to y \text{ in } Y</math> (by [[#Convergent family|definition of this notation]]) and stated as <math>f</math> '''{{em|tend to <math>y</math> along <math>\mathcal{B}.</math>}}'''{{sfn|Dixmier|1984|pp=14–17}} If the limit <math>y</math> is unique then the arrow <math>\to</math> may be replaced with an equals sign <math>=.</math>{{sfn|Wilansky|2008|pp=32-35}} The neighborhood filter <math>\mathcal{N}(y)</math> can be replaced with any family equivalent to it and the same is true of <math>\mathcal{B}.</math> 

The definition of a [[convergent net]] is a special case of the above definition of a limit of a function. 
Specifically, if <math>x \in X \text{ and } \chi : (I, \leq) \to X</math> is a net then
<math display=block>\chi \to x \text{ in } X \quad \text{ if and only if } \quad \chi(\operatorname{Tails}(I, \leq)) \to x \text{ in } X,</math>
where the left hand side states that <math>x</math> is a [[Convergent net|limit {{em|of the net}}]] <math>\chi</math> while the right hand side states that <math>x</math> is a limit {{em|of the function}} <math>\chi</math> with respect to <math>\mathcal{B} := \operatorname{Tails}(I, \leq)</math> (as just defined above).

The table below shows how various types of limits encountered in analysis and topology can be defined in terms of the convergence of images (under <math>f</math>) of particular prefilters on the domain <math>X.</math> 
This shows that prefilters provide a general framework into which many of the various definitions of limits fit.{{sfn|Dixmier|1984|pp=13–18}} 
The limits in the left-most column are defined in their usual way with their obvious definitions.

Throughout, let <math>f : X \to Y</math> be a map between topological spaces, <math>x_0 \in X, \text{ and } y \in Y.</math> 
If <math>Y</math> is Hausdorff then all arrows {{nowrap|"<math>\to y</math>"}} in the table may be replaced with equal signs {{nowrap|"<math>= y</math>"}} and {{nowrap|1="<math>\lim f(\mathcal{B}) \to y</math>"}} may be replaced with {{nowrap|1="<math>\lim f(\mathcal{B}) = y</math>".}}{{sfn|Wilansky|2008|pp=32-35}}

{| class="wikitable" style="text-align:center;"
|+ 
|-
! Type of limit!! {{nowarp|[[if and only if]]}} !!Definition in terms of prefilters{{sfn|Dixmier|1984|pp=13–18}}!!Assumptions
|-
|style=''|<math>\lim_{x \to x_0} f(x) \to y</math>
|[[Logical equality|⇔]]
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,\mathcal{N}\left(x_0\right)</math>
|
|-
<!--x≠x0-->
|<math>\lim_{\stackrel{x \to x_0}{x \neq x_0}} f(x) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,\left\{N \setminus \left\{x_0\right\} : N \in \mathcal{N}\left(x_0\right)\right\}</math>
|
|-
<!--x→x_0 along ''S''-->
|<math>\lim_{\stackrel{x \to x_0}{x \in S}} f(x) \to y</math><br/>or<br/><math>\lim_{x \to x_0} f\big\vert_S(x) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,\mathcal{N}\left(x_0\right)\big\vert_S\,:=\,\left\{N \cap S : N \in \mathcal{N}\left(x_0\right)\right\}</math>
|<math>S \subseteq X \text{ and } x_0 \in \operatorname{cl}_X S</math>
|-
<!--x_0≠x-->
|<math>\lim_{\stackrel{x \to x_0}{x \neq x_0}} f(x) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,\left\{\left(x_0 - r, x_0\right) \cup \left(x_0, x_0 + r\right) : 0 < r \in \R\right\}</math>
|<math>x_0 \in X = \R</math> 
|-
<!--x<x0-->
|<math>\lim_{\stackrel{x \to x_0}{x < x_0}} f(x) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,\left\{\left(x, x_0\right) : x < x_0\right\}</math>
|<math>x_0 \in X = \R</math> 
|-
<!--x≤x0-->
|<math>\lim_{\stackrel{x \to x_0}{x \leq x_0}} f(x) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,\left\{\left(x, x_0\right] : x < x_0\right\}</math>
|<math>x_0 \in X = \R</math> 
|-
<!--x_0<x-->
|<math>\lim_{\stackrel{x \to x_0}{x > x_0}} f(x) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,\left\{\left(x_0, x\right) : x_0 < x\right\}</math>
|<math>x_0 \in X = \R</math> 
|-
<!--x_0≤x-->
|<math>\lim_{\stackrel{x \to x_0}{x \geq x_0}} f(x) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,\left\{\left[x_0, x\right) : x_0 \leq x\right\}</math>
|<math>x_0 \in X = \R</math> 
|-
<!--''n''→∞-->
|<math>\lim_{n \to \infty} f(n) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,\{\{n, n + 1, \ldots\} ~:~ n \in \N\}\}</math>
|<math>X = \N \text{ so } f : \N \to Y</math> is a sequence in <math>Y</math>
|-
<!--x→∞-->
|<math>\lim_{x \to \infty} f(x) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,(\R, \infty) \,:=\,\{(x, \infty) : x \in \R\}</math>
|<math>X = \R</math> 
|-
<!--x→- ∞-->
|<math>\lim_{x \to -\infty} f(x) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,(-\infty,\R) \,:=\,\{(-\infty, x) : x \in \R\}</math>
|<math>X = \R</math> 
|-
<!--|x|→∞-->
|<math>\lim_{|x| \to \infty} f(x) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,\{X \cap [(-\infty, x) \cup (x, \infty)] : x \in \R\}</math>
|<math>X = \R \text{ or } X = \Z</math> for a double-ended sequence
|-
<!--||x||→∞-->
|<math>\lim_{\|x\| \to \infty} f(x) \to y</math>
|⇔
|style='text-align:left;'|<math>f(\mathcal{B}) \to y \text{ where } \mathcal{B}\,:=\,\{\{x \in X : \|x\| > r\} ~:~ 0 < r \in \R\}</math>
|style="padding-left:2em; padding-right:2em;"|<math>(X, \|\cdot\|) \text{ is}</math> a [[seminorm]]ed space; {{nowrap|1=for example, a [[Banach space]]}} <math>\text{like } X = \Complex</math>
|}

By defining different prefilters, many other notions of limits can be defined; for example, <math>\lim_{\stackrel{|x| \to |x_0|}{|x| \neq |x_0|}} f(x) \to y.</math>

'''Divergence to infinity'''

Divergence of a real-valued function to infinity can be defined/characterized by using the prefilters
<math display=block>(\R, \infty) := \{(r, \infty) : r \in \R\} ~~ \text{ and } ~~ (-\infty, \R) := \{(-\infty, r) : r \in \R\},</math>
where <math>f \to \infty</math> along <math>\mathcal{B}</math> if and only if <math>(\R, \infty) \leq f(\mathcal{B})</math> and similarly, <math>f \to -\infty</math> along <math>\mathcal{B}</math> if and only if <math>(-\infty, \R) \leq f(\mathcal{B}).</math> The family <math>(\R, \infty)</math> can be replaced by any family equivalent to it, such as <math>[\R, \infty) := \{[r, \infty) : r \in \R\}</math> for instance (in real analysis, this would correspond to replacing the strict inequality {{nowrap|"<math>f(x) > r</math>"}} in the definition with {{nowrap|"<math>f(x) \geq r</math>"),}} and the same is true of <math>\mathcal{B}</math> and <math>(-\infty, \R).</math> 

So for example, if <math>\mathcal{B}\,:=\,\mathcal{N}\left(x_0\right)</math> then <math>\lim_{x \to x_0} f(x) \to \infty</math> if and only if <math>(\R, \infty) \leq f(\mathcal{B})</math> holds.  Similarly, <math>\lim_{x \to x_0} f(x) \to - \infty</math> if and only if <math>(-\infty, \R) \leq f\left(\mathcal{N}\left(x_0\right)\right),</math> or equivalently, if and only if <math>(-\infty, \R] \leq f\left(\mathcal{N}\left(x_0\right)\right).</math>

More generally, if <math>f</math> is valued in <math>Y = \R^n \text{ or } Y = \Complex^n</math> (or some other [[seminormed vector space]]) and if <math>B_{\geq r} := \{y \in Y : |y| \geq r\} = Y \setminus B_{< r}</math> then <math>\lim_{x \to x_0} |f(x)| \to \infty</math> if and only if <math>B_{\geq \R} \leq f\left(\mathcal{N}\left(x_0\right)\right)</math> holds, where <math>B_{\geq \R} := \left\{B_{\geq r} : r \in \R\right\}.</math>

==Filters and nets{{anchor|Nets and filters}}==
{{See also|Filter (set theory)#Filters and nets}}

This section will describe the relationships between prefilters and nets in great detail because of how important these details are applying filters to topology − particularly in switching from utilizing nets to utilizing filters and vice verse. 

===Nets to prefilters===

In the definitions below, the first statement is the standard definition of a limit point of a net (respectively, a cluster point of a net) and it is gradually reworded until the corresponding filter concept is reached.

{{Quote frame|1=A net <math>x_\bull = \left(x_i\right)_{i \in I}</math> is said to {{anchor|Convergent net}}{{em|[[Convergent net|converge]] in}} <math>(X, \tau)</math> to a point <math>x \in X,</math> written <math>x_\bull \to x \text{ in } X,</math> and <math>x</math> is called a {{em|limit}} or {{em|limit point}} of <math>x_\bull,</math>{{sfn|Kelley|1975|pp=65–72}} if any of the following equivalent conditions hold:
<ol>
<li>Definition: For every <math>N \in \mathcal{N}_{\tau}(x),</math> there exists some <math>i \in I</math> such that if <math>i \leq j \in I \text{ then } x_j \in N.</math></li>
<li>For every <math>N \in \mathcal{N}_{\tau}(x),</math> there exists some <math>i \in I</math> such that the tail of <math>x_\bull</math> starting at <math>i</math> is contained in <math>N</math> (that is, such that <math>x_{\geq i} \subseteq N</math>).</li>
<li>For every <math>N \in \mathcal{N}_{\tau}(x),</math> there exists some <math>B \in \operatorname{Tails}\left(x_\bull\right)</math> such that <math>B \subseteq N.</math></li>
<li><math>\mathcal{N}_{\tau}(x) \leq \operatorname{Tails}\left(x_\bull\right).</math></li>
<li><math>\operatorname{Tails}\left(x_\bull\right) \to x \text{ in } X;</math> that is, the prefilter <math>\operatorname{Tails}\left(x_\bull\right)</math> converges to <math>x.</math></li>
</ol>

As usual, <math>\lim x_\bull = x</math> is defined to mean that <math>x_\bull \to x</math> and <math>x</math> is the {{em|only}} limit point of <math>x_\bull;</math> that is, if also <math>x_\bull \to z \text{ then } z = x.</math>{{sfn|Kelley|1975|pp=65–72}}
}}

{{Quote frame|1=A point <math>x \in X</math> is called a {{anchor|Cluster point of a net}}{{em|[[Cluster point of a net|cluster]]}} or {{em|accumulation point}} of a net <math>x_\bull = \left(x_i\right)_{i \in I} \text{ in } (X, \tau)</math> if any of the following equivalent conditions hold:
<ol>
<li>Definition: For every <math>N \in \mathcal{N}_{\tau}(x)</math> and every <math>i \in I,</math> there exists some <math>i \leq j \in I</math> such that <math>x_j \in N.</math></li>
<li>For every <math>N \in \mathcal{N}_{\tau}(x)</math> and every <math>i \in I,</math> the tail of <math>x_\bull</math> starting at <math>i</math> [[intersects]] <math>N</math> (that is, <math>x_{\geq i} \cap N \neq \varnothing</math>).</li>
<li>For every <math>N \in \mathcal{N}_{\tau}(x)</math> and every <math>B \in \operatorname{Tails}\left(x_\bull\right), B \cap N \neq \varnothing.</math></li>
<li><math>\mathcal{N}_{\tau}(x) \text{ and } \operatorname{Tails}\left(x_\bull\right)</math> mesh (by [[#mesh|definition of "mesh"]]).</li>
<li><math>x</math> is a cluster point of <math>\operatorname{Tails}\left(x_\bull\right).</math></li>
<!--START:Removed, needs verification:<li>For every neighborhood <math>N</math> of <math>x</math> there exists a [[Subnet (mathematics)|subnet]] of <math>x_\bull</math> that converges to <math>x.</math>{{Citation needed|date=March 2022}}</li> -->
</ol>
}}

If <math>f : X \to Y</math> is a map and <math>x_\bull</math> is a net in <math>X</math> then <math>\operatorname{Tails}\left(f\left(x_\bull\right)\right) = f\left(\operatorname{Tails}\left(x_\bull\right)\right).</math>{{sfn|Schechter|1996|pp=155-171}}

===Prefilters to nets===

A {{em|[[pointed set]]}} is a pair <math>(S, s)</math> consisting of a non-empty set <math>S</math> and an element <math>s \in S.</math> 
For any family <math>\mathcal{B},</math> let 
<math display=block>\operatorname{PointedSets}(\mathcal{B}) := \{(B, b) ~:~ B \in \mathcal{B} \text{ and } b \in B\}.</math>

Define a canonical [[preorder]] <math>\,\leq\,</math> on pointed sets by declaring 
<math display=block>(R, r) \leq (S, s) \quad \text{ if and only if } \quad R \supseteq S.</math>

There is a canonical map <math>\operatorname{Point}_{\mathcal{B}} ~:~ \operatorname{PointedSets}(\mathcal{B}) \to X</math> defined by <math>(B, b) \mapsto b.</math> 
If <math>i_0 = \left(B_0, b_0\right) \in \operatorname{PointedSets}(\mathcal{B})</math> then the tail of the assignment <math>\operatorname{Point}_{\mathcal{B}}</math> starting at <math>i_0</math> is <math>\left\{c ~:~ (C, c) \in \operatorname{PointedSets}(\mathcal{B}) \text{ and } \left(B_0, b_0\right) \leq (C, c)\right\} = B_0.</math>

Although <math>(\operatorname{PointedSets}(\mathcal{B}), \leq)</math> is not, in general, a partially ordered set, it is a [[directed set]] if (and only if) <math>\mathcal{B}</math> is a prefilter. 
So the most immediate choice for the definition of "the net in <math>X</math> induced by a prefilter <math>\mathcal{B}</math>" is the assignment <math>(B, b) \mapsto b</math> from <math>\operatorname{PointedSets}(\mathcal{B})</math> into <math>X.</math>

{{Quote frame|1=If <math>\mathcal{B}</math> is a prefilter on <math>X</math> then the {{em|net associated with <math>\mathcal{B}</math>}} is the map
<math display=block>\begin{alignat}{4}
\operatorname{Net}_{\mathcal{B}} :\;&& (\operatorname{PointedSets}(\mathcal{B}), \leq) &&\,\to    \;& X \\
                                    && (B, b)                                          &&\,\mapsto\;& b \\
\end{alignat}</math>
that is, <math>\operatorname{Net}_{\mathcal{B}}(B, b) := b.</math> 
}}

If <math>\mathcal{B}</math> is a prefilter on <math>X \text{ then } \operatorname{Net}_{\mathcal{B}}</math> is a net in <math>X</math> and the prefilter associated with <math>\operatorname{Net}_{\mathcal{B}}</math> is <math>\mathcal{B}</math>; that is:<ref group=note>The set equality <math>\operatorname{Tails}\left(\operatorname{Net}_{\mathcal{B}}\right) = \mathcal{B}</math> holds more generally: if the family of sets <math>\mathcal{B} \neq \varnothing \text{ satisfies } \varnothing \not\in \mathcal{B}</math> then the family of tails of the map <math>\operatorname{PointedSets}(\mathcal{B}) \to X</math> (defined by <math>(B, b) \mapsto b</math>) is equal to <math>\mathcal{B}.</math></ref>
<math display=block>\operatorname{Tails}\left(\operatorname{Net}_{\mathcal{B}}\right) = \mathcal{B}.</math>
This would not necessarily be true had <math>\operatorname{Net}_{\mathcal{B}}</math> been defined on a proper subset of <math>\operatorname{PointedSets}(\mathcal{B}).</math> 

If <math>x_\bull</math> is a net in <math>X</math> then it is {{em|not}} in general true that <math>\operatorname{Net}_{\operatorname{Tails}\left(x_\bull\right)}</math> is equal to <math>x_\bull</math> because, for example, the domain of <math>x_\bull</math> may be of a completely different cardinality than that of <math>\operatorname{Net}_{\operatorname{Tails}\left(x_\bull\right)}</math> (since unlike the domain of <math>\operatorname{Net}_{\operatorname{Tails}\left(x_\bull\right)},</math> the domain of an arbitrary net in <math>X</math> could have {{em|any}} cardinality).

{{Math theorem|name=Proposition|math_statement=If <math>\mathcal{B}</math> is a prefilter on <math>X</math> and <math>x \in X</math> then 
<ol>
<li><math>\mathcal{B} \to x \text{ if and only if } \operatorname{Net}_{\mathcal{B}} \to x.</math></li>
<li><math>x</math> is a cluster point of <math>\mathcal{B}</math> if and only if <math>x</math> is a cluster point of <math>\operatorname{Net}_{\mathcal{B}}.</math></li>
</ol>
}}

{{Math proof|drop=hidden|proof=
Recall that <math>\mathcal{B} = \operatorname{Tails}\left(\operatorname{Net}_{\mathcal{B}}\right)</math> and that if <math>x_\bull</math> is a net in <math>X</math> then (1) <math>x_\bull \to x \text{ if and only if } \operatorname{Tails}\left(x_\bull\right) \to x,</math> and (2) <math>x</math> is a cluster point of <math>x_\bull</math> if and only if <math>x</math> is a cluster point of <math>\operatorname{Tails}\left(x_\bull\right).</math> 
By using <math>x_\bull := \operatorname{Net}_{\mathcal{B}} \text{ and } \mathcal{B} = \operatorname{Tails}\left(\operatorname{Net}_{\mathcal{B}}\right),</math> it follows that 
<math display=block>\mathcal{B} \to x \quad \text{ if and only if } \quad \operatorname{Tails}\left(\operatorname{Net}_{\mathcal{B}}\right) \to x \quad \text{ if and only if } \quad \operatorname{Net}_{\mathcal{B}} \to x.</math> 
It also follows that <math>x</math> is a cluster point of <math>\mathcal{B}</math> if and only if <math>x</math> is a cluster point of <math>\operatorname{Tails}\left(\operatorname{Net}_{\mathcal{B}}\right)</math> if and only if <math>x</math> is a cluster point of <math>\operatorname{Net}_{\mathcal{B}}.</math> 
}}

'''Partially ordered net'''

The domain of the canonical net <math>\operatorname{Net}_{\mathcal{B}}</math> is in general not partially ordered. However, in 1955 Bruns and Schmidt discovered<ref>Bruns G., Schmidt J.,Zur Aquivalenz von Moore-Smith-Folgen und Filtern, Math. Nachr. 13 (1955), 169-186.</ref> a construction (detailed here: [[Filter (set theory)#Partially ordered net]]) that allows for the canonical net to have a domain that is both partially ordered and directed; this was independently rediscovered by [[Albert Wilansky]] in 1970.{{sfn|Schechter|1996|pp=155-171}} 
Because the tails of this partially ordered net are identical to the tails of <math>\operatorname{Net}_{\mathcal{B}}</math> (since both are equal to the prefilter <math>\mathcal{B}</math>), there is typically nothing lost by assuming that the domain of the net associated with a prefilter is both directed {{em|and}} partially ordered.{{sfn|Schechter|1996|pp=155-171}}  If can further be assumed that the partially ordered domain is also a [[dense order]].

===Subordinate filters and subnets===
{{anchor|Subnets}}

The notion of "<math>\mathcal{B}</math> is subordinate to <math>\mathcal{C}</math>" (written <math>\mathcal{B} \vdash \mathcal{C}</math>) is for filters and prefilters what "<math>x_{n_\bull} = \left(x_{n_i}\right)_{i=1}^{\infty}</math> is a [[subsequence]] of <math>x_\bull = \left(x_i\right)_{i=1}^{\infty}</math>" is for sequences.{{sfn|Dugundji|1966|p=212}} 
For example, if <math>\operatorname{Tails}\left(x_\bull\right) = \left\{x_{\geq i} : i \in \N\right\}</math> denotes the set of tails of <math>x_\bull</math> and if <math>\operatorname{Tails}\left(x_{n_\bull}\right) = \left\{x_{n_{\geq i}} : i \in \N\right\}</math> denotes the set of tails of the subsequence <math>x_{n_\bull}</math> (where <math>x_{n_{\geq i}} := \left\{x_{n_j} ~:~ j \geq i \text{ and } j \in \N\right\}</math>) then <math>\operatorname{Tails}\left(x_{n_\bull}\right) ~\vdash~ \operatorname{Tails}\left(x_\bull\right)</math> (which by definition means <math>\operatorname{Tails}\left(x_\bull\right) \leq \operatorname{Tails}\left(x_{n_\bull}\right)</math>) is true but <math>\operatorname{Tails}\left(x_\bull\right) ~\vdash~ \operatorname{Tails}\left(x_{n_\bull}\right)</math> is in general false. 
If <math>x_\bull = \left(x_i\right)_{i \in I}</math> is a net in a topological space <math>X</math> and if <math>\mathcal{N}(x)</math> is the [[neighborhood filter]] at a point <math>x \in X,</math> then <math>x_\bull \to x \text{ if and only if } \mathcal{N}(x) \leq \operatorname{Tails}\left(x_\bull\right).</math>

If <math>f : X \to Y</math> is an surjective open map, <math>x \in X,</math> and <math>\mathcal{C}</math> is a prefilter on <math>Y</math> that converges to <math>f(x),</math> then there exist a prefilter <math>\mathcal{B}</math> on <math>X</math> such that <math>\mathcal{B} \to x</math> and <math>f(\mathcal{B})</math> is equivalent to <math>\mathcal{C}</math> (that is, <math>\mathcal{C} \leq f(\mathcal{B}) \leq \mathcal{C}</math>).{{sfn|Dugundji|1966|p=220–221}} 

====Subordination analogs of results involving subsequences====

{{See also|Sequential space|Fréchet–Urysohn space}}

The following results are the prefilter analogs of statements involving subsequences.{{sfn|Dugundji|1966|pp=211–221}} The condition "<math>\mathcal{C} \geq \mathcal{B},</math>" which is also written <math>\mathcal{C} \vdash \mathcal{B},</math> is the analog of "<math>\mathcal{C}</math> is a subsequence of <math>\mathcal{B}.</math>" So "finer than" and "subordinate to" is the prefilter analog of "subsequence of." Some people prefer saying "subordinate to" instead of "finer than" because it is more reminiscent of "subsequence of."

{{Math theorem|name=Proposition{{sfn|Dugundji|1966|pp=211–221}}{{sfn|Bourbaki|1989|pp=68–74}}|math_statement=
Let <math>\mathcal{B}</math> be a prefilter on <math>X</math> and let <math>x \in X.</math> 
<ol>
<li>Suppose <math>\mathcal{C}</math> is a prefilter such that <math>\mathcal{C} \geq \mathcal{B}.</math>
<ol style="list-style-type:lower-latin;">
<li>If <math>\mathcal{B} \to x</math> then <math>\mathcal{C} \to x.</math><ref group=proof>By definition, <math>\mathcal{B} \to x</math> if and only if <math>\mathcal{B} \geq \mathcal{N}(x).</math> Since <math>\mathcal{C} \geq \mathcal{B}</math> and <math>\mathcal{B} \geq \mathcal{N}(x),</math> transitivity implies <math>\mathcal{C} \geq \mathcal{N}(x). \blacksquare</math></ref>
* This is the analog of "if a sequence [[Limit of a sequence|converges to]] <math>x</math> then so does every subsequence."</li>
<li>If <math>x</math> is a cluster point of <math>\mathcal{C}</math> then <math>x</math> is a cluster point of <math>\mathcal{B}.</math>
* This is the analog of "if <math>x</math> is a cluster point of some subsequence, then <math>x</math> is a cluster point of the original sequence."</li>
</ol>
</li>
<li><math>\mathcal{B} \to x</math> if and only if for any finer prefilter <math>\mathcal{C} \geq \mathcal{B}</math> there exists some even more fine prefilter <math>\mathcal{F} \geq \mathcal{C}</math> such that <math>\mathcal{F} \to x.</math>{{sfn|Bourbaki|1989|pp=68–74}}
* This is the analog of "a sequence converges to <math>x</math> if and only if every subsequence has a sub-subsequence that converges to <math>x.</math>"</li>
<li><math>x</math> is a cluster point of <math>\mathcal{B}</math> if and only if there exists some finer prefilter <math>\mathcal{C} \geq \mathcal{B}</math> such that <math>\mathcal{C} \to x.</math> 
* This is the analog of the following {{em|false}} statement: "<math>x</math> is a cluster point of a sequence if and only if it has a subsequence that converges to <math>x</math>" (that is, if and only if <math>x</math> is a [[subsequential limit]]).
* The analog for sequences is false since there is a Hausdorff topology on <math>X := [\N \times \N] \cup \{(0, 0)\}</math> and a sequence in this space (both defined here<ref group=note>The topology on <math>X := [\N \times \N] \cup \{(0, 0)\}</math> is defined as follows: Every subset of <math>\N \times \N</math> is open in this topology and the neighborhoods of <math>(0, 0)</math> are all those subsets <math>U \subseteq X</math> containing <math>(0, 0)</math> for which there exists some positive integer <math>N > 0</math> such that for every integer <math>n \geq N,</math> <math>U</math> contains all but at most finitely many points of <math>\{n\} \times \N.</math> For example, the set <math>W := [\{2, 3, \ldots\} \times \N] \cup \{(0, 0)\}</math> is a neighborhood of <math>(0, 0).</math> Any [[Pairing function|diagonal enumeration]] of <math>\N \times \N</math> furnishes a sequence that clusters at <math>(0, 0)</math> but possess not convergent subsequence. An explicit example is the inverse of the bijective [[Pairing function#Hopcroft and Ullman pairing function|Hopcroft and Ullman pairing function]] <math>\N \times \N \to \N,</math> which is defined by <math>(p, q) \mapsto p + \tfrac{1}{2}(p + q - 1)(p + q - 2).</math></ref>{{sfn|Dugundji|1966|p=60}}) that clusters at <math>(0, 0)</math> but that also does not have any subsequence that converges to <math>(0, 0).</math>{{sfn|Dugundji|1966|pp=215–216}}</li>
</ol>
}}

====Non-equivalence of subnets and subordinate filters====
{{anchor|Subnets versus subordinate filters}}
{{See also|Net (mathematics)|Subnet (mathematics)|Filter (set theory)#Subnets versus subordinate filters}}

[[#Willard-subnet|Subnets in the sense of Willard]] and [[#Kelley-subnet|subnets in the sense of Kelley]] are the most commonly used definitions of "[[Subnet (mathematics)|subnet]]."{{sfn|Schechter|1996|pp=157–168}} 
The first definition of a subnet ("Kelley-subnet") was introduced by [[John L. Kelley]] in 1955.{{sfn|Schechter|1996|pp=157–168}} 
Stephen Willard introduced in 1970 his own variant ("Willard-subnet") of Kelley's definition of subnet.{{sfn|Schechter|1996|pp=157–168}} 
AA-subnets were introduced independently by Smiley (1957), Aarnes and Andenaes (1972), and Murdeshwar (1983); AA-subnets were studied in great detail by Aarnes and Andenaes but they are not often used.{{sfn|Schechter|1996|pp=157–168}}

A subset <math>R \subseteq I</math> of a [[preorder]]ed space <math>(I, \leq)</math> is {{em|{{visible anchor|frequent}}}} or {{em|[[Cofinal (mathematics)|cofinal]]}} in <math>I</math> if for every <math>i \in I</math> there exists some <math>r \in R</math> such that <math>i \leq r.</math> If <math>R \subseteq I</math> contains a tail of <math>I</math> then <math>R</math> is said to be {{em|{{visible anchor|eventual|eventually}}}} in <math>I</math>}}; explicitly, this means that there exists some <math>i \in I</math> such that <math>I_{\geq i} \subseteq R</math> (that is, <math>j \in R</math> for all <math>j \in I</math> satisfying <math>i \leq j</math>).  A subset is eventual if and only if its complement is not frequent (which is termed {{em|{{visible anchor|infrequent}}}}).{{sfn|Schechter|1996|pp=157–168}} 
A map <math>h : A \to I</math> between two preordered sets is {{em|[[Order-preserving function|{{visible anchor|order-preserving}}]]}} if whenever <math>a, b \in A</math> satisfy <math>a \leq b,</math> then <math>h(a) \leq h(b).</math>

{{Quote frame|1=''Definitions'': Let <math>S = S_\bull ~:~ (A, \leq) \to X \text{ and } N = N_\bull ~:~ (I, \leq) \to X</math> be nets. Then{{sfn|Schechter|1996|pp=157–168}} 
<ol>
<li><math>S_\bull</math> is a {{em|{{visible anchor|Willard-subnet|Willard-subnet}}}} of <math>N_\bull</math> or a {{em|subnet in the sense of Willard}} if there exists an order-preserving map <math>h : A \to I</math> such that <math>S = N \circ h \text{ and } h(A)</math> is cofinal in <math>I.</math></li>

<li><math>S_\bull</math> is a {{em|{{visible anchor|Kelley-subnet|Kelley-subnet}}}} of <math>N_\bull</math> or a {{em|subnet in the sense of Kelley}} if there exists a map <math>h ~:~ A \to I</math> such that <math>S = N \circ h</math> and whenever <math>E \subseteq I</math> is [[#eventual|eventual]] in <math>I</math> then <math>h^{-1}(E)</math> is eventual in <math>A.</math></li>

<li><math>S_\bull</math> is an {{em|{{visible anchor|AA-subnet|AA-subnet}}}} of <math>N_\bull</math> or a {{em|subnet in the sense of Aarnes and Andenaes}} if any of the following equivalent conditions are satisfied:
<ol style="list-style-type:lower-latin;">
<li><math>\operatorname{Tails}\left(N_\bull\right) \leq \operatorname{Tails}\left(S_\bull\right).</math></li>
<li><math>\operatorname{TailsFilter}\left(N_\bull\right) \subseteq \operatorname{TailsFilter}\left(S_\bull\right).</math></li>
<li>If <math>J</math> is [[#eventual|eventual]] in <math>I \text{ then } S^{-1}(N(J))</math> is eventual in <math>A.</math></li>
<li>For any subset <math>R \subseteq X, \text{ if } \operatorname{Tails}\left(S_\bull\right) \text{ and } \{R\}</math> mesh, then so do <math>\operatorname{Tails}\left(N_\bull\right) \text{ and } \{R\}.</math></li>
<li>For any subset <math>R \subseteq X, \text{ if } \operatorname{Tails}\left(S_\bull\right) \leq \{R\} \text{ then } \operatorname{Tails}\left(N_\bull\right) \leq \{R\}.</math></li>
</ol>
</li>
</ol>
}}

Kelley did not require the map <math>h</math> to be order preserving while the definition of an AA-subnet does away entirely with any map between the two nets' domains and instead focuses entirely on <math>X</math> − the nets' common codomain. 
Every Willard-subnet is a Kelley-subnet and both are AA-subnets.{{sfn|Schechter|1996|pp=157–168}} 
In particular, if <math>y_\bull = \left(y_a\right)_{a \in A}</math> is a Willard-subnet or a Kelley-subnet of <math>x_\bull = \left(x_i\right)_{i \in I}</math> then <math>\operatorname{Tails}\left(x_\bull\right) \leq \operatorname{Tails}\left(y_\bull\right).</math> 

:Example: If <math>I = \N</math> and <math>x_\bull = \left(x_i\right)_{i \in I}</math> is a constant sequence and if <math>A = \{1\}</math> and <math>s_1 := x_1</math> then <math>\left(s_a\right)_{a \in A}</math> is an AA-subnet of <math>x_\bull</math> but it is neither a Willard-subnet nor a Kelley-subnet of <math>x_\bull.</math>

AA-subnets have a defining characterization that immediately shows that they are fully interchangeable with sub(ordinate)filters.{{sfn|Schechter|1996|pp=157–168}}<ref name="Clark Convergence 2016">{{cite web|last=Clark|first=Pete L.|title=Convergence| website=math.uga.edu/|url=http://math.uga.edu/~pete/convergence.pdf|date=18 October 2016|access-date=18 August 2020}}</ref> 
Explicitly, what is meant is that the following statement is true for AA-subnets:

{{in5}}If <math>\mathcal{B} \text{ and } \mathcal{F}</math> are prefilters then <math>\mathcal{B} \leq \mathcal{F}</math> if and only if <math>\operatorname{Net}_{\mathcal{F}}</math> is an AA-subnet of <math>\operatorname{Net}_{\mathcal{B}}.</math>

If "AA-subnet" is replaced by "Willard-subnet" or "Kelley-subnet" then the above statement becomes {{em|false}}. In particular, as [[Filter (set theory)#Example of subordination that Kelley subnets can not express|this counter-example]] demonstrates, the problem is that the following statement is in general false:

{{in5}}'''{{em|False}}''' statement: If <math>\mathcal{B} \text{ and } \mathcal{F}</math> are prefilters such that <math>\mathcal{B} \leq \mathcal{F} \text{ then } \operatorname{Net}_{\mathcal{F}}</math> is a Kelley-subnet of <math>\operatorname{Net}_{\mathcal{B}}.</math>

Since every Willard-subnet is a Kelley-subnet, this statement thus remains false if the word "Kelley-subnet" is replaced with "Willard-subnet". 

If "subnet" is defined to mean Willard-subnet or Kelley-subnet then nets and filters are not completely interchangeable because there exists a filter–sub(ordinate)filter relationships that cannot be expressed in terms of a net–subnet relationship between the two induced nets. In particular, the problem is that Kelley-subnets and Willard-subnets are {{em|not}} fully interchangeable with subordinate filters. If the notion of "subnet" is not used or if "subnet" is defined to mean AA-subnet, then this ceases to be a problem and so it becomes correct to say that nets and filters are interchangeable. Despite the fact that AA-subnets do not have the problem that Willard and Kelley subnets have, they are not widely used or known about.{{sfn|Schechter|1996|pp=157–168}}<ref name="Clark Convergence 2016"/>

==Topologies and prefilters==

Throughout, <math>(X, \tau)</math> is a [[topological space]].

===Examples of relationships between filters and topologies===

'''Bases and prefilters'''

Let <math>\mathcal{B} \neq \varnothing</math> be a family of sets that covers <math>X</math> and define <math>\mathcal{B}_x = \{B \in \mathcal{B} ~:~ x \in B\}</math> for every <math>x \in X.</math> The definition of a [[Base (topology)|base]] for some topology can be immediately reworded as: <math>\mathcal{B}</math> is a base for some topology on <math>X</math> if and only if <math>\mathcal{B}_x</math> is a filter base for every <math>x \in X.</math> 
If <math>\tau</math> is a topology on <math>X</math> and <math>\mathcal{B} \subseteq \tau</math> then the definitions of <math>\mathcal{B}</math> is a [[Base (topology)|basis]] (resp. [[subbase]]) for <math>\tau</math> can be reworded as:

{{in5}}<math>\mathcal{B}</math> is a base (resp. subbase) for <math>\tau</math> if and only if for every <math>x \in X, \mathcal{B}_x</math> is a filter base (resp. filter subbase) that generates the neighborhood filter of <math>(X, \tau)</math> at <math>x.</math>

'''Neighborhood filters'''

The archetypical example of a filter is the set of all neighborhoods of a point in a topological space. 
Any [[neighborhood basis]] of a point in (or of a subset of) a topological space is a prefilter. In fact, the definition of a [[neighborhood base]] can be equivalently restated as: "a neighborhood base is any prefilter that is equivalent the neighborhood filter."

Neighborhood bases at points are examples of prefilters that are fixed but may or may not be principal. 
If <math>X = \R</math> has its usual topology and if <math>x \in X,</math> then any neighborhood filter base <math>\mathcal{B}</math> of <math>x</math> is fixed by <math>x</math> (in fact, it is even true that <math>\ker \mathcal{B} = \{x\}</math>) but <math>\mathcal{B}</math> is {{em|not}} principal since <math>\{x\} \not\in \mathcal{B}.</math>
In contrast, a topological space has the [[discrete topology]] if and only if the neighborhood filter of every point is a principal filter generated by exactly one point. 
This shows that a non-principal filter on an infinite set is not necessarily free.

The neighborhood filter of every point <math>x</math> in topological space <math>X</math> is fixed since its kernel contains <math>x</math> (and possibly other points if, for instance, <math>X</math> is not a [[T1 space|T<sub>1</sub> space]]). This is also true of any neighborhood basis at <math>x.</math> 
For any point <math>x</math> in a [[T1 space|T<sub>1</sub> space]] (for example, a [[Hausdorff space]]), the kernel of the neighborhood filter of <math>x</math> is equal to the singleton set <math>\{x\}.</math>

However, it is possible for a neighborhood filter at a point to be principal but {{em|not}} discrete (that is, not principal at a {{em|single}} point). 
A neighborhood basis <math>\mathcal{B}</math> of a point <math>x</math> in a topological space is principal if and only if the kernel of <math>\mathcal{B}</math> is an open set. If in addition the space is [[T1 space|T<sub>1</sub>]] then <math>\ker \mathcal{B} = \{x\}</math> so that this basis <math>\mathcal{B}</math> is principal if and only if <math>\{x\}</math> is an open set.

'''Generating topologies from filters and prefilters'''

Suppose <math>\mathcal{B} \subseteq \wp(X)</math> is not empty (and <math>X \neq \varnothing</math>). If <math>\mathcal{B}</math> is a filter on <math>X</math> then <math>\{\varnothing\} \cup \mathcal{B}</math> is a topology on <math>X</math> but the converse is in general false. This shows that in a sense, filters are {{em|almost}} topologies. Topologies of the form <math>\{\varnothing\} \cup \mathcal{B}</math> where <math>\mathcal{B}</math> is an {{em|ultra}}filter on <math>X</math> are an even more specialized subclass of such topologies; they have the property that {{em|every}} proper subset <math>\varnothing \neq S \subseteq X</math> is {{em|either}} open or closed, but (unlike the [[discrete topology]]) never both. These spaces are, in particular, examples of [[door space]]s.

If <math>\mathcal{B}</math> is a prefilter (resp. filter subbase, {{pi}}-system, proper) on <math>X</math> then the same is true of both <math>\{X\} \cup \mathcal{B}</math> and the set <math>\mathcal{B}_{\cup}</math> of all possible unions of one or more elements of <math>\mathcal{B}.</math> If <math>\mathcal{B}</math> is closed under finite intersections then the set <math>\tau_{\mathcal{B}} = \{\varnothing, X\} \cup \mathcal{B}_{\cup}</math> is a topology on <math>X</math> with both <math>\{X\} \cup \mathcal{B}_{\cup} \text{ and } \{X\} \cup \mathcal{B}</math> being [[Base (topology)|bases]] for it. If the {{pi}}-system <math>\mathcal{B}</math> covers <math>X</math> then both <math>\mathcal{B}_{\cup} \text{ and } \mathcal{B}</math> are also bases for <math>\tau_{\mathcal{B}}.</math> If <math>\tau</math> is a topology on <math>X</math> then <math>\tau \setminus \{\varnothing\}</math> is a prefilter (or equivalently, a {{pi}}-system) if and only if it has the finite intersection property (that is, it is a filter subbase), in which case a subset <math>\mathcal{B} \subseteq \tau</math> will be a basis for <math>\tau</math> if and only if <math>\mathcal{B} \setminus \{\varnothing\}</math> is equivalent to <math>\tau \setminus \{\varnothing\},</math> in which case <math>\mathcal{B} \setminus \{\varnothing\}</math> will be a prefilter.

===Topological properties and prefilters===

'''Neighborhoods and topologies'''

The neighborhood filter of a nonempty subset <math>S \subseteq X</math> in a topological space <math>X</math> is equal to the intersection of all neighborhood filters of all points in <math>S.</math>{{sfn|Bourbaki|1989|p=129}} 
A subset <math>S \subseteq X</math> is open in <math>X</math> if and only if whenever <math>\mathcal{F}</math> is a filter on <math>X</math> and <math>s \in S,</math> then <math>\mathcal{F} \to s \text{ in } X \text{ implies } S \in \mathcal{F}.</math>

Suppose <math>\sigma \text{ and } \tau</math> are topologies on <math>X.</math> 
Then <math>\tau</math> is finer than <math>\sigma</math> (that is, <math>\sigma \subseteq \tau</math>) if and only if whenever <math>x \in X \text{ and } \mathcal{B}</math> is a filter on <math>X,</math> if <math>\mathcal{B} \to x \text{ in } (X, \tau)</math> then <math>\mathcal{B} \to x \text{ in } (X, \sigma).</math>{{sfn|Bourbaki|1989|pp=132–133}} Consequently, <math>\sigma = \tau</math> if and only if for every filter <math>\mathcal{B} \text{ on } X</math> and every <math>x \in X, \mathcal{B} \to x \text{ in } (X, \sigma)</math> if and only if <math>\mathcal{B} \to x \text{ in } (X, \tau).</math>{{sfn|Wilansky|2008|pp=32-35}} 
However, it is possible that <math>\sigma \neq \tau</math> while also for every filter <math>\mathcal{B} \text{ on } X, \mathcal{B}</math> converges to {{em|some}} point of <math>X \text{ in } (X, \sigma)</math> if and only if <math>\mathcal{B}</math> converges to {{em|some}} point of <math>X \text{ in } (X, \tau).</math>{{sfn|Wilansky|2008|pp=32-35}}

'''Closure'''

If <math>\mathcal{B}</math> is a prefilter on a subset <math>S \subseteq X</math> then every cluster point of <math>\mathcal{B} \text{ in } X</math> belongs to <math>\operatorname{cl}_X S.</math>{{sfn|Bourbaki|1989|p=70}}

If <math>x \in X \text{ and } S \subseteq X</math> is a non-empty subset, then the following are equivalent:
<ol>
<li><math>x \in \operatorname{cl}_X S</math></li>
<li><math>x</math> is a limit point of a prefilter on <math>S.</math> Explicitly: there exists a prefilter <math>\mathcal{F} \subseteq \wp(S) \text{ on } S</math> such that <math>\mathcal{F} \to x \text{ in } X.</math>{{sfn|Dugundji|1966|pp=211–221}}</li>
<li><math>x</math> is a limit point of a filter on <math>S.</math>{{sfn|Bourbaki|1989|p=70}}</li>
<li>There exists a prefilter <math>\mathcal{F} \text{ on } X</math> such that <math>S \in \mathcal{F} \text{ and } \mathcal{F} \to x \text{ in } X.</math></li>
<li>The prefilter <math>\{S\}</math> meshes with the neighborhood filter <math>\mathcal{N}(x).</math> Said differently, <math>x</math> is a cluster point of the prefilter <math>\{S\}.</math></li>
<li>The prefilter <math>\{S\}</math> meshes with some (or equivalently, with every) filter base for <math>\mathcal{N}(x)</math> (that is, with every neighborhood basis at <math>x</math>).</li>
</ol>

The following are equivalent:

<ol>
<li><math>x</math> is a limit points of <math>S \text{ in } X.</math></li>
<li>There exists a prefilter <math>\mathcal{F} \subseteq \wp(S) \text{ on } \{S\} \setminus \{x\}</math> such that <math>\mathcal{F} \to x \text{ in } X.</math>{{sfn|Dugundji|1966|pp=211–221}}</li>
</ol>

'''Closed sets'''

If <math>S \subseteq X</math> is not empty then the following are equivalent:
<ol>
<li><math>S</math> is a closed subset of <math>X.</math></li>
<li>If <math>x \in X \text{ and } \mathcal{F} \subseteq \wp(S)</math> is a prefilter on <math>S</math> such that <math>\mathcal{F} \to x \text{ in } X,</math> then <math>x \in S.</math></li>
<li>If <math>x \in X \text{ and } \mathcal{F} \subseteq \wp(S)</math> is a prefilter on <math>S</math> such that <math>x</math> is an accumulation points of <math>\mathcal{F} \text{ in } X,</math> then <math>x \in S.</math>{{sfn|Dugundji|1966|pp=211–221}}</li>
<li>If <math>x \in X</math> is such that the neighborhood filter <math>\mathcal{N}(x)</math> meshes with <math>\{S\}</math> then <math>x \in S.</math></li>
</ol>

'''Hausdorffness'''

The following are equivalent:
<ol>
<li><math>X</math> is a [[Hausdorff space]].</li>
<li>Every prefilter on <math>X</math> converges to at most one point in <math>X.</math>{{sfn|Narici|Beckenstein|2011|pp=2–7}}</li>
<li>The above statement but with the word "prefilter" replaced by any one of the following: filter, ultra prefilter, ultrafilter.{{sfn|Narici|Beckenstein|2011|pp=2–7}}</li>
</ol>

'''Compactness'''

As discussed [[Ultrafilter lemma|in this article]], the Ultrafilter Lemma is closely related to many important theorems involving compactness.

The following are equivalent:
<ol>
<li><math>(X, \tau)</math> is a [[compact space]].</li>
<li>Every ultrafilter on <math>X</math> converges to at least one point in <math>X.</math>{{sfn|Bourbaki|1989|p=83}}
* That this condition implies compactness can be proven by using only the ultrafilter lemma. That compactness implies this condition can be proven without the ultrafilter lemma (or even the axiom of choice).</li>
<li>The above statement but with the word "ultrafilter" replaced by "ultra prefilter".{{sfn|Narici|Beckenstein|2011|pp=2–7}}</li>
<li>For every filter <math>\mathcal{C} \text{ on } X</math> there exists a filter <math>\mathcal{F} \text{ on } X</math> such that <math>\mathcal{C} \leq \mathcal{F}</math> and <math>\mathcal{F}</math> converges to some point of <math>X.</math></li>
<li>The above statement but with each instance of the word "filter" replaced by: prefilter.</li>
<li>Every filter on <math>X</math> has at least one cluster point in <math>X.</math>{{sfn|Bourbaki|1989|p=83}}
* That this condition is equivalent to compactness can be proven by using only the ultrafilter lemma.</li>
<li>The above statement but with the word "filter" replaced by "prefilter".{{sfn|Narici|Beckenstein|2011|pp=2–7}}</li>
<li>[[Alexander subbase theorem]]: There exists a [[subbase]] <math>\mathcal{S} \text{ for } \tau</math> such that every cover of <math>X</math> by sets in <math>\mathcal{S}</math> has a finite subcover.
* That this condition is equivalent to compactness can be proven by using only the ultrafilter lemma.</li>
</ol>

If <math>\mathcal{F}</math> is the set of all complements of compact subsets of a given topological space <math>X,</math> then <math>\mathcal{F}</math> is a filter on <math>X</math> if and only if <math>X</math> is {{em|not}} compact.

{{Math theorem|name=Theorem{{sfn|Bourbaki|1989|pp=83–84}}|math_statement=
If <math>\mathcal{B}</math> is a filter on a compact space and <math>C</math> is the set of cluster points of <math>\mathcal{B},</math> then every neighborhood of <math>C</math> belongs to <math>\mathcal{B}.</math> 
Thus a filter on a compact Hausdorff space converges if and only if it has a single cluster point. 
}}

'''Continuity'''

Let <math>f : X \to Y</math> be a map between topological spaces <math>(X, \tau) \text{ and } (Y, \upsilon).</math>

Given <math>x \in X,</math> the following are equivalent:
<ol>
<li><math>f : X \to Y</math> is [[Continuous function (topology)|continuous]] at <math>x.</math></li>
<li>Definition: For every neighborhood <math>V</math> of <math>f(x) \text{ in } Y</math> there exists some neighborhood <math>N</math> of <math>x \text{ in } X</math> such that <math>f(N) \subseteq V.</math></li>
<li><math>f(\mathcal{N}(x)) \to f(x) \text{ in } Y.</math>{{sfn|Dugundji|1966|pp=215–216}}</li>
<li>If <math>\mathcal{B}</math> is a filter on <math>X</math> such that <math>\mathcal{B} \to x \text{ in } X</math> then <math>f(\mathcal{B}) \to f(x) \text{ in } Y.</math></li>
<li>The above statement but with the word "filter" replaced by "prefilter".</li>
</ol>

The following are equivalent:
<ol>
<li><math>f : X \to Y</math> is continuous.</li>
<li>If <math>x \in X \text{ and } \mathcal{B}</math> is a prefilter on <math>X</math> such that <math>\mathcal{B} \to x \text{ in } X</math> then <math>f(\mathcal{B}) \to f(x) \text{ in } Y.</math>{{sfn|Dugundji|1966|pp=215–216}}</li>
<li>If <math>x \in X</math> is a limit point of a prefilter <math>\mathcal{B} \text{ on } X</math> then <math>f(x)</math> is a limit point of <math>f(\mathcal{B}) \text{ in } Y.</math></li>
<li>Any one of the above two statements but with the word "prefilter" replaced by "filter".</li>
</ol>

If <math>\mathcal{B}</math> is a prefilter on <math>X, x \in X</math> is a cluster point of <math>\mathcal{B}, \text{ and } f : X \to Y</math> is continuous, then <math>f(x)</math> is a cluster point in <math>Y</math> of the prefilter <math>f(\mathcal{B}).</math>{{sfn|Bourbaki|1989|pp=132–133}}

A subset <math>D</math> of a topological space <math>X</math> is [[Dense set|dense]] in <math>X</math> if and only if for every <math>x \in X,</math> the trace <math>\mathcal{N}_X(x)\big\vert_D</math> of the neighborhood filter <math>\mathcal{N}_X(x)</math> along <math>D</math> does not contain the empty set (in which case it will be a filter on <math>D</math>). 

Suppose <math>f : D \to Y</math> is a continuous map into a Hausdorff [[regular space]] <math>Y</math> and that <math>D</math> is a dense subset of a topological space <math>X.</math> Then <math>f</math> has a [[continuous extension]] <math>F : X \to Y</math> if and only if for every <math>x \in X,</math> the prefilter <math>f\left(\mathcal{N}_X(x)\big\vert_D\right)</math> converges to some point in <math>Y.</math> Furthermore, this continuous extension will be unique whenever it exists.{{sfn|Dugundji|1966|pp=216}}

'''Products'''

Suppose <math>X_\bull := \left(X_i\right)_{i \in I}</math> is a non-empty family of non-empty topological spaces and that is a family of prefilters where each <math>\mathcal{B}_i</math> is a prefilter on <math>X_i.</math> 
Then the product <math>\mathcal{B}_\bull</math> of these prefilters (defined above) is a prefilter on the product space <math>{\textstyle\prod} X_\bull,</math> which as usual, is endowed with the [[product topology]].

If <math>x_\bull := \left(x_i\right)_{i \in I} \in {\textstyle\prod} X_\bull,</math> then <math>\mathcal{B}_\bull \to x_\bull \text{ in } {\textstyle\prod} X_\bull</math> if and only if <math>\mathcal{B}_i \to x_i \text{ in } X_i \text{ for every } i \in I.</math>

Suppose <math>X \text{ and } Y</math> are topological spaces, <math>\mathcal{B}</math> is a prefilter on <math>X</math> having <math>x \in X</math> as a cluster point, and <math>\mathcal{C}</math> is a prefilter on <math>Y</math> having <math>y \in Y</math> as a cluster point. 
Then <math>(x, y)</math> is a cluster point of <math>\mathcal{B} \times \mathcal{C}</math> in the product space <math>X \times Y.</math>{{sfn|Bourbaki|1989|pp=132–133}} 
However, if <math>X = Y = \Q</math> then there exist sequences <math>\left(x_i\right)_{i=1}^\infty \subseteq X \text{ and } \left(y_i\right)_{i=1}^\infty \subseteq Y</math> such that both of these sequences have a cluster point in <math>\Q</math> but the sequence <math>\left(x_i, y_i\right)_{i=1}^\infty \subseteq X \times Y</math> does {{em|not}} have a cluster point in <math>X \times Y.</math>{{sfn|Bourbaki|1989|pp=132–133}}

Example application: The ultrafilter lemma along with the axioms of [[Zermelo–Fraenkel set theory|ZF]] imply [[Tychonoff's theorem]] for compact Hausdorff spaces:

{{collapse top|title=Proof|left=true}}
Let <math>X_\bull := \left(X_i\right)_{i \in I}</math> be compact [[Hausdorff space|{{em|Hausdorff}}]] topological spaces. 
Assume that the ultrafilter lemma holds (because of the Hausdorff assumption, this proof does {{em|not}} need the full strength of the [[axiom of choice]]; the ultrafilter lemma suffices). 
Let <math>X := {\textstyle\prod} X_\bull</math> be given the product topology (which makes <math>X</math> a Hausdorff space) and for every <math>i,</math> let <math>\Pr{}_i : X \to X_i</math> denote this product's projections. 
If <math>X = \varnothing</math> then <math>X</math> is compact and the proof is complete so assume <math>X \neq \varnothing.</math> 
Despite the fact that <math>X \neq \varnothing,</math> because the axiom of choice is not assumed, the projection maps <math>\Pr{}_i : X \to X_i</math> are not guaranteed to be surjective.

Let <math>\mathcal{B}</math> be an ultrafilter on <math>X</math> and for every <math>i,</math> let <math>\mathcal{B}_i</math> denote the ultrafilter on <math>X_i</math> generated by the ultra prefilter <math>\Pr{}_i(\mathcal{B}).</math> 
Because <math>X_i</math> is compact and Hausdorff, the ultrafilter <math>\mathcal{B}_i</math> converges to a unique limit point <math>x_i \in X_i</math> (because of <math>x_i</math>'s uniqueness, this definition does not require the axiom of choice). 
Let <math>x := \left(x_i\right)_{i \in I}</math> where <math>x</math> satisfies <math>\Pr{}_i(x) = x_i</math> for every <math>i.</math> 
The characterization of convergence in the product topology that was given above implies that <math>\mathcal{B} \to x \text{ in } X.</math> 
Thus every ultrafilter on <math>X</math> converges to some point of <math>X,</math> which implies that <math>X</math> is compact (recall that this implication's proof only required the ultrafilter lemma). <math>\blacksquare</math>
{{collapse bottom}}

==Examples of applications of prefilters==

===Uniformities and Cauchy prefilters===
{{Main|Uniform space|Complete uniform space|Complete metric space}}
{{See also|Topological group|Complete topological vector space}}

<!-- The following was taken from [[Filter (mathematics)]]. 

Let <math>(X, d)</math> be a [[metric space]].
* To say that a filter base <math>B</math> on <math>X</math> is '''[[Cauchy prefilter|Cauchy]]''' means that for each [[real number]] <math>r > 0,</math> there is a <math>B_0 \in B</math> such that the metric [[Diameter of a set|diameter]] of <math>B_0</math> is less than <math>r.</math>
* Take <math>\left(x_n\right)_{n \in \N}</math> to be a [[sequence]] in metric space <math>X.</math> Then <math>\left(x_n\right)_{n \in \N}</math> is a [[Cauchy sequence]] if and only if the filter base <math>\left\{\, \{x_N, x_{N + 1}, \ldots\} \; : \; N \in \N\right\}</math> is Cauchy.

More generally, given a [[uniform space]] <math>X,</math> a filter <math>F</math> on <math>X</math> is called a '''[[Cauchy filter]]''' if for every  [[Entourage (topology)|entourage]] <math>U</math> there is an <math>A \in F</math> with <math>(x, y) \in U \text{ for all } x, y \in A.</math> In a metric space this agrees with the previous definition. <math>X</math> is said to be complete if every Cauchy filter converges. Conversely, on a uniform space every convergent filter is a Cauchy filter. Moreover, every cluster point of a Cauchy filter is a limit point.
-->
A [[uniform space]] is a set <math>X</math> equipped with a filter on <math>X \times X</math> that has certain properties. A {{em|base}} or {{em|fundamental system of entourages}} is a prefilter on <math>X \times X</math> whose upward closure is a uniform space. 
A prefilter <math>\mathcal{B}</math> on a uniform space <math>X</math> with uniformity <math>\mathcal{F}</math> is called a {{em|Cauchy prefilter}} if for every entourage <math>N \in \mathcal{F},</math> there exists some <math>B \in \mathcal{B}</math> that is {{em|<math>N</math>-small}}, which means that <math>B \times B \subseteq N.</math> 
A {{em|minimal Cauchy filter}} is a [[minimal element]] (with respect to <math>\,\leq\,</math> or equivalently, to <math>\,\subseteq</math>) of the set of all Cauchy filters on <math>X.</math> 
Examples of minimal Cauchy filters include the neighborhood filter <math>\mathcal{N}_X(x)</math> of any point <math>x \in X.</math> 
Every convergent filter on a uniform space is Cauchy. Moreover, every cluster point of a Cauchy filter is a limit point.

A uniform space <math>(X, \mathcal{F})</math> is called {{em|complete}} (resp. {{em|sequentially complete}}) if every Cauchy prefilter (resp. every elementary Cauchy prefilter) on <math>X</math> converges to at least one point of <math>X</math> (replacing all instance of the word "prefilter" with "filter" results in equivalent statement).
Every compact uniform space is complete because any Cauchy filter has a cluster point (by compactness), which is necessarily also a limit point (since the filter is Cauchy). 

Uniform spaces were the result of attempts to generalize notions such as "uniform continuity" and "uniform convergence" that are present in metric spaces. Every [[topological vector space]], and more generally, every [[topological group]] can be made into a uniform space in a canonical way. Every uniformity also generates a canonical induced topology. Filters and prefilters play an important role in the theory of uniform spaces. For example, the completion of a Hausdorff uniform space (even if it is not [[Metrizable space|metrizable]]) is typically constructed by using minimal Cauchy filters. 
Nets are less ideal for this construction because their domains are extremely varied (for example, the class of all Cauchy nets is not a set); sequences cannot be used in the general case because the topology might not be metrizable, [[First-countable space|first-countable]], or even [[Sequential space|sequential]]. 
The set of all {{em|[[Complete topological vector space#minimal Cauchy filter|minimal Cauchy filter]]s}} on a Hausdorff [[topological vector space]] (TVS) <math>X</math> can made into a vector space and topologized in such a way that it becomes a [[Complete topological vector space|completion of <math>X</math>]] (with the assignment <math>x \mapsto \mathcal{N}_X(x)</math> becoming a [[TVS-embedding|linear topological embedding]] that identifies <math>X</math> as a dense vector subspace of this completion).

More generally, a [[Cauchy space|{{em|{{visible anchor|Cauchy space}}}}]] is a pair <math>(X, \mathfrak{C})</math> consisting of a set <math>X</math> together a family <math>\mathfrak{C} \subseteq \wp(\wp(X))</math> of (proper) filters, whose members are declared to be "{{em|Cauchy filters}}", having all of the following properties:
# For each <math>x \in X,</math> the discrete ultrafilter at <math>x</math> is an element of <math>\mathfrak{C}.</math>
# If <math>F \in \mathfrak{C}</math> is a subset of a proper filter <math>G,</math> then <math>G \in \mathfrak{C}.</math> 
# If <math>F, G \in \mathfrak{C}</math> and if each member of <math>F</math> intersects each member of <math>G,</math> then <math>F \cap G \in \mathfrak{C}.</math>
The set of all Cauchy filters on a uniform space forms a Cauchy space. Every Cauchy space is also a [[convergence space]]. 
A map <math>f : X \to Y</math> between two Cauchy spaces is called {{em|Cauchy continuous}} if the image of every Cauchy filter in <math>X</math> is a Cauchy filter in <math>Y.</math> 
Unlike the [[category of topological spaces]], the [[Category (mathematics)|category]] of Cauchy spaces and Cauchy continuous maps is [[Cartesian closed]], and contains the category of [[proximity space]]s.

===Topologizing the set of prefilters===
{{See also|Stone space}}

Starting with nothing more than a set <math>X,</math> it is possible to topologize the set 
<math display=block>\mathbb{P} := \operatorname{Prefilters}(X)</math>
of all filter bases on <math>X</math> with the {{em|[[Stone topology|{{visible anchor|Stone topology}}]]}}, which is named after [[Marshall Harvey Stone]].

To reduce confusion, this article will adhere to the following notational conventions:
<ul>
<li>Lower case letters for elements <math>x \in X.</math></li>
<li>Upper case letters for subsets <math>S \subseteq X.</math></li>
<li>Upper case calligraphy letters for subsets <math>\mathcal{B} \subseteq \wp(X)</math> (or equivalently, for elements <math>\mathcal{B} \in \wp(\wp(X)),</math> such as prefilters).</li>
<li>Upper case double-struck letters for subsets <math>\mathbb{P} \subseteq \wp(\wp(X)).</math></li>
</ul>

For every <math>S \subseteq X,</math> let
<math display=block>\mathbb{O}(S) := \left\{\mathcal{B} \in \mathbb{P} ~:~ S \in \mathcal{B}^{\uparrow X}\right\}</math>
where <math>\mathbb{O}(X) = \mathbb{P} \text{ and } \mathbb{O}(\varnothing) = \varnothing.</math><ref group=note>As a side note, had the definitions of "filter" and "prefilter" not required propriety then the degenerate dual ideal <math>\wp(X)</math> would have been a prefilter on <math>X</math> so that in particular, <math>\mathbb{O}(\varnothing) = \{\wp(X)\} \neq \varnothing</math> with <math>\wp(X) \in \mathbb{O}(S) \text{ for every } S \subseteq X.</math></ref> These sets will be the basic open subsets of the Stone topology. 
If <math>R \subseteq S \subseteq X</math> then 
<math display=block>\left\{\mathcal{B} \in \wp(\wp(X)) ~:~ R \in \mathcal{B}^{\uparrow X}\right\} ~\subseteq~ \left\{\mathcal{B} \in \wp(\wp(X)) ~:~ S \in \mathcal{B}^{\uparrow X}\right\}.</math>

From this inclusion, it is possible to deduce all of the subset inclusions displayed below with the exception of <math>\mathbb{O}(R \cap S) ~\supseteq~ \mathbb{O}(R) \cap \mathbb{O}(S).</math><ref group=note>This is because the inclusion <math>\mathbb{O}(R \cap S) ~\supseteq~ \mathbb{O}(R) \cap \mathbb{O}(S)</math> is the only one in the sequence below whose proof uses the defining assumption that <math>\mathbb{O}(S) \subseteq \mathbb{P}.</math></ref> 
For all <math>R \subseteq S \subseteq X,</math>
<math display=block>\mathbb{O}(R \cap S) ~=~ \mathbb{O}(R) \cap \mathbb{O}(S) ~\subseteq~ \mathbb{O}(R) \cup \mathbb{O}(S) ~\subseteq~ \mathbb{O}(R \cup S)</math>
where in particular, the equality <math>\mathbb{O}(R \cap S) = \mathbb{O}(R) \cap \mathbb{O}(S)</math> shows that the family <math>\{\mathbb{O}(S) ~:~ S \subseteq X\}</math> is a [[Pi-system|<math>\pi</math>-system]] that forms a [[Basis (topology)|basis]] for a topology on <math>\mathbb{P}</math> called the {{em|Stone topology}}. It is henceforth assumed that <math>\mathbb{P}</math> carries this topology and that any subset of <math>\mathbb{P}</math> carries the induced [[subspace topology]].

In contrast to most other general constructions of topologies (for example, the [[Product topology|product]], [[Quotient topology|quotient]], [[Subspace topology|subspace]] topologies, etc.), this topology on <math>\mathbb{P}</math> was defined with{{em|out}} using anything other than the set <math>X;</math> there were {{em|no}} preexisting [[Mathematical structure|structures]] or assumptions on <math>X</math> so this topology is completely independent of everything other than <math>X</math> (and its subsets).

The following criteria can be used for checking for [[Point of closure|points of closure]] and neighborhoods. 
If <math>\mathbb{B} \subseteq \mathbb{P} \text{ and } \mathcal{F} \in \mathbb{P}</math> then:
<ul>
<li>{{em|Closure in <math>\mathbb{P}</math>}}: <math>\ \mathcal{F}</math> belongs to the closure of <math>\mathbb{B} \text{ in } \mathbb{P}</math> if and only if <math>\mathcal{F} \subseteq {\textstyle\bigcup\limits_{\mathcal{B} \in \mathbb{B}}} \mathcal{B}^{\uparrow X}.</math></li>
<li>{{em|Neighborhoods in <math>\mathbb{P}</math>}}: <math>\ \mathbb{B}</math> is a neighborhood of <math>\mathcal{F} \text{ in } \mathbb{P}</math> if and only if there exists some <math>F \in \mathcal{F}</math> such that <math>\mathbb{O}(F) = \left\{\mathcal{B} \in \mathbb{P} ~:~ F \in \mathcal{B}^{\uparrow X}\right\} \subseteq \mathbb{B}</math> (that is, such that for all <math>\mathcal{B} \in \mathbb{P}, \text{ if } F \in \mathcal{B}^{\uparrow X} \text{ then } \mathcal{B} \in \mathbb{B}</math>).</li>
</ul>

It will be henceforth assumed that <math>X \neq \varnothing</math> because otherwise <math>\mathbb{P} = \varnothing</math> and the topology is <math>\{\varnothing\},</math> which is uninteresting.

'''Subspace of ultrafilters'''

The set of ultrafilters on <math>X</math> (with the subspace topology) is a [[Stone space]], meaning that it is compact, Hausdorff, and [[Totally disconnected space|totally disconnected]]. 
If <math>X</math> has the discrete topology then the map <math>\beta : X \to \operatorname{UltraFilters}(X),</math> defined by sending <math>x \in X</math> to the principal ultrafilter at <math>x,</math> is a topological embedding whose image is a dense subset of <math>\operatorname{UltraFilters}(X)</math> (see the article [[Stone–Čech compactification#Construction using ultrafilters|Stone–Čech compactification]] for more details).

'''Relationships between topologies on <math>X</math> and the Stone topology on <math>\mathbb{P}</math>'''

Every <math>\tau \in \operatorname{Top}(X)</math> induces a canonical map <math>\mathcal{N}_\tau : X \to \operatorname{Filters}(X)</math> defined by <math>x \mapsto \mathcal{N}_\tau(x),</math> which sends <math>x \in X</math> to the neighborhood filter of <math>x \text{ in } (X, \tau).</math> 
If <math>\tau, \sigma \in \operatorname{Top}(X)</math> then <math>\tau = \sigma</math> if and only if <math>\mathcal{N}_\tau = \mathcal{N}_\sigma.</math> 
Thus every topology <math>\tau \in \operatorname{Top}(X)</math> can be identified with the canonical map <math>\mathcal{N}_\tau \in \operatorname{Func}(X; \mathbb{P}),</math> which allows <math>\operatorname{Top}(X)</math> to be canonically identified as a subset of <math>\operatorname{Func}(X; \mathbb{P})</math> (as a side note, it is now possible to place on <math>\operatorname{Func}(X; \mathbb{P}),</math> and thus also on <math>\operatorname{Top}(X),</math> the [[topology of pointwise convergence]] on <math>X</math> so that it now makes sense to talk about things such as sequences of topologies on <math>X</math> converging pointwise). 
For every <math>\tau \in \operatorname{Top}(X),</math> the surjection <math>\mathcal{N}_\tau : (X, \tau) \to \operatorname{image} \mathcal{N}_\tau</math> is always continuous, [[Open and closed maps|closed, and open]], but it is injective if and only if <math>\tau \text{ is } T_0</math> (that is, a [[Kolmogorov space]]). 
In particular, for every <math>T_0</math> topology <math>\tau \text{ on } X,</math> the map <math>\mathcal{N}_\tau : (X, \tau) \to \mathbb{P}</math> is a [[topological embedding]] (said differently, every Kolmogorov space is a topological subspace of the space of prefilters).

In addition, if <math>\mathfrak{F} : X \to \operatorname{Filters}(X)</math> is a map such that <math>x \in \ker \mathfrak{F}(x) := {\textstyle\bigcap\limits_{F \in \mathfrak{F}(x)}} F \text{ for every } x \in X</math> (which is true of <math>\mathfrak{F} := \mathcal{N}_\tau,</math> for instance), then for every <math>x \in X \text{ and } F \in \mathfrak{F}(x),</math> the set <math>\mathfrak{F}(F) = \{\mathfrak{F}(f) : f \in F\}</math> is a neighborhood (in the subspace topology) of <math>\mathfrak{F}(x) \text{ in } \operatorname{image} \mathfrak{F}.</math>

==See also==

* {{annotated link|Characterizations of the category of topological spaces}}
* {{annotated link|Convergence space}}
* {{annotated link|Filtration (mathematics)}}
* {{annotated link|Filtration (probability theory)}}
* {{annotated link|Filtration (abstract algebra)}}
* {{annotated link|Fréchet filter}}
* {{annotated link|Generic filter}}
* {{annotated link|Ideal (set theory)}}
* {{annotated link|Stone–Čech compactification#Construction using ultrafilters}}
* {{annotated link|The fundamental theorem of ultraproducts}}

==Notes==

{{reflist|group=note}}

'''Proofs'''

{{reflist|group=proof}}

==Citations==

{{reflist}}

==References==

* {{Adams Franzosa Introduction to Topology Pure and Applied}} <!--{{sfn|Adams|Franzosa|2009|p=}}-->
* {{Arkhangel'skii Ponomarev Fundamentals of General Topology Problems and Exercises|edition=2}} <!--{{sfn|Arkhangelʹskiĭ|Ponomarev|1984|p=}}-->
* {{Berberian Lectures in Functional Analysis and Operator Theory}} <!--{{sfn|Berberian|1974|p=}}-->
* {{Bourbaki General Topology Part I Chapters 1-4}} <!--{{sfn|Bourbaki|1989|p=}}-->
* {{Bourbaki General Topology Part II Chapters 5-10}} <!--{{sfn|Bourbaki|1989|p=}}-->
* {{Bourbaki Topological Vector Spaces Part 1 Chapters 1–5}} <!--{{sfn|Bourbaki|1987|p=}}-->
* {{cite book|last1=Burris|first1=Stanley|author-link1=Stanley Burris|last2=Sankappanavar|first2=Hanamantagouda P.|year=2012|title=A Course in Universal Algebra|publisher=Springer-Verlag|isbn=978-0-9880552-0-9|url=http://www.thoralf.uwaterloo.ca/htdocs/ualg.html|archive-url=https://web.archive.org/web/20220401154440/https://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra2012.pdf|archive-date=1 April 2022}}
* {{cite journal|last=Cartan|first=Henri|author-link=Henri Cartan|title=Théorie des filtres|title-link=|journal=[[Comptes rendus hebdomadaires des séances de l'Académie des sciences]]|volume=205|year=1937a|pages=595–598|url=http://gallica.bnf.fr/ark:/12148/bpt6k3157c/f594.image}} <!--{{sfn|Cartan|1937a|p=}}-->
* {{cite journal|last=Cartan|first=Henri|author-link=Henri Cartan|title=Filtres et ultrafiltres|title-link=|journal=[[Comptes rendus hebdomadaires des séances de l'Académie des sciences]]|volume=205|year=1937b|pages=777–779|url=http://gallica.bnf.fr/ark:/12148/bpt6k3157c/f776.image}} <!--{{sfn|Cartan|1937b|p=}}-->
* {{Comfort Negrepontis The Theory of Ultrafilters 1974}} <!--{{sfn|Comfort|Negrepontis|1974|p=}}-->
* {{Császár General Topology}} <!--{{sfn|Császár|1978|p=}}-->
* {{Dixmier General Topology}} <!--{{sfn|Dixmier|1984|p=}}-->
* {{Dolecki Mynard Convergence Foundations Of Topology}} <!--{{sfn|Dolecki|Mynard|2016|p=}}-->
* {{Dugundji Topology}} <!--{{sfn|Dugundji|1966|p=}}-->
* {{Dunford Schwartz Linear Operators Part 1 General Theory}} <!--{{sfn|Dunford|1988|p=}}-->
* {{Edwards Functional Analysis Theory and Applications}} <!--{{sfn|Edwards|1995|p=}}-->
* {{Howes Modern Analysis and Topology 1995}} <!--{{sfn|Howes|1995|p=}}-->
* {{Jarchow Locally Convex Spaces}} <!--{{sfn|Jarchow|1981|p=}}-->
* {{cite book|last=Jech|first=Thomas|author-link=Thomas Jech|title=Set Theory: The Third Millennium Edition, Revised and Expanded|publisher=Springer Science & Business Media|publication-place=Berlin New York|year=2006|isbn=978-3-540-44085-7|oclc=50422939}} <!--{{sfn|Jech|2006|p=}}-->
* {{Joshi Introduction to General Topology}} <!--{{sfn|Joshi|1983|p=}}-->
* {{Kelley General Topology}} <!--{{sfn|Kelley|1975|p=}}-->
* {{Köthe Topological Vector Spaces I}} <!--{{sfn|Köthe|1969|p=}}-->
* {{cite web|last=MacIver R.|first=David|title=Filters in Analysis and Topology|date=1 July 2004|url=http://www.efnet-math.org/~david/mathematics/filters.pdf |archive-url=https://web.archive.org/web/20071009170540/http://www.efnet-math.org/~david/mathematics/filters.pdf |archive-date=2007-10-09 }} (Provides an introductory review of filters in topology and in metric spaces.)
* {{Narici Beckenstein Topological Vector Spaces|edition=2}} <!--{{sfn|Narici|Beckenstein|2011|p=}}-->
* {{Robertson Topological Vector Spaces}} <!--{{sfn|Robertson|Robertson|1980|p=}}-->
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!--{{sfn|Schaefer|Wolff|1999|p=}}-->
* {{Schechter Handbook of Analysis and Its Foundations}} <!--{{sfn|Schechter|1996|p=}}-->
* {{Schubert Topology}} <!--{{sfn|Schubert|1968|p=}}-->
* {{Trèves François Topological vector spaces, distributions and kernels}} <!--{{sfn|Trèves|2006|p=}}-->
* {{Wilansky Modern Methods in Topological Vector Spaces|edition=1}} <!--{{sfn|Wilansky|2013|p=}}-->
* {{Wilansky Topology for Analysis 2008}} <!--{{sfn|Wilansky|2008|p=}}-->
* {{Willard General Topology}} <!--{{sfn|Willard|2004|p=}}-->

{{Topology}}

[[Category:Filters]]
[[Category:General topology]]