Filter on a set

For filters on a poset, see Filter (mathematics).

For other uses, see Filter (disambiguation).

In mathematics, a filter on a set ${\displaystyle X}$ is a family ${\displaystyle {\mathcal {B}}}$ of subsets such that: ^[1]

1. ${\displaystyle X\in {\mathcal {B}}}$ and ${\displaystyle \emptyset \notin {\mathcal {B}}}$
2. if ${\displaystyle A\in {\mathcal {B}}}$ and ${\displaystyle B\in {\mathcal {B}}}$, then ${\displaystyle A\cap B\in {\mathcal {B}}}$
3. If ${\displaystyle A\subset B\subset X}$ and ${\displaystyle A\in {\mathcal {B}}}$, then ${\displaystyle B\in {\mathcal {B}}}$

A filter on a set may be thought of as representing a "collection of large subsets", ^[2] one intuitive example being the neighborhood filter. Filters appear in order theory, model theory, and set theory, but can also be found in topology, from which they originate. The dual notion of a filter is an ideal.

Filters were introduced by Henri Cartan in 1937 ^{[3] [4]} and as described in the article dedicated to filters in topology, they were subsequently used by Nicolas Bourbaki in their book Topologie Générale as an alternative to the related notion of a net developed in 1922 by E. H. Moore and Herman L. Smith. Order filters are generalizations of filters from sets to arbitrary partially ordered sets. Specifically, a filter on a set is just a proper order filter in the special case where the partially ordered set consists of the power set ordered by set inclusion.

Ultrafilters are a particularly important subclass of filters.

Preliminaries, notation, and basic notions

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

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

This article uses the following definitions and notations. Some conventions vary across authors (such as whether filters are required to be proper by definition).

Sets operations

The upward closure or isotonization in ${\displaystyle X}$ ^{[5] [6]} of a family of sets ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X)}$ is

${\displaystyle {\mathcal {B}}^{\uparrow X}:=\{S\subseteq X~:~B\subseteq S{\text{ for some }}B\in {\mathcal {B}}\,\}=\bigcup _{B\in {\mathcal {B}}}\{S~:~B\subseteq S\subseteq X\}}$

and similarly the downward closure of ${\displaystyle {\mathcal {B}}}$ is ${\displaystyle {\mathcal {B}}^{\downarrow }:=\{S\subseteq B~:~B\in {\mathcal {B}}\,\}=\bigcup _{B\in {\mathcal {B}}}{\mathcal {P}}(B).}$

Notation and Definition	Name
${\displaystyle \ker {\mathcal {B}}=\bigcap _{B\in {\mathcal {B}}}B}$	Kernel of ${\displaystyle {\mathcal {B}}}$ [6]
${\displaystyle S\setminus {\mathcal {B}}:=\{S\setminus B~:~B\in {\mathcal {B}}\}=\{S\}\,(\setminus )\,{\mathcal {B}}}$	Dual of ${\displaystyle {\mathcal {B}}{\text{ in }}S}$ where ${\displaystyle S}$ is a set. [7]
${\displaystyle {\mathcal {B}}{\big \vert }_{S}:=\{B\cap S~:~B\in {\mathcal {B}}\}={\mathcal {B}}\,(\cap )\,\{S\}}$	Trace of ${\displaystyle {\mathcal {B}}{\text{ on }}S}$ [7] or the restriction of ${\displaystyle {\mathcal {B}}{\text{ to }}S}$ where ${\displaystyle S}$ is a set; sometimes denoted by ${\displaystyle {\mathcal {B}}\cap S}$
${\displaystyle {\mathcal {B}}\,(\cap )\,{\mathcal {C}}=\{B\cap C~:~B\in {\mathcal {B}}{\text{ and }}C\in {\mathcal {C}}\}}$ [8]	Elementwise (set) intersection (${\displaystyle {\mathcal {B}}\cap {\mathcal {C}}}$ will denote the usual intersection)
${\displaystyle {\mathcal {B}}\,(\cup )\,{\mathcal {C}}=\{B\cup C~:~B\in {\mathcal {B}}{\text{ and }}C\in {\mathcal {C}}\}}$ [8]	Elementwise (set) union (${\displaystyle {\mathcal {B}}\cup {\mathcal {C}}}$ will denote the usual union)
${\displaystyle {\mathcal {B}}\,(\setminus )\,{\mathcal {C}}=\{B\setminus C~:~B\in {\mathcal {B}}{\text{ and }}C\in {\mathcal {C}}\}}$	Elementwise (set) subtraction (${\displaystyle {\mathcal {B}}\setminus {\mathcal {C}}}$ will denote the usual set subtraction)
${\displaystyle {\mathcal {B}}^{\#X}={\mathcal {B}}^{\#}=\{S\subseteq X~:~S\cap B\neq \varnothing {\text{ for all }}B\in {\mathcal {B}}\}}$	Grill of ${\displaystyle {\mathcal {B}}{\text{ in }}X}$ [9]
${\displaystyle {\mathcal {P}}(X)=\{S~:~S\subseteq X\}}$	Power set of a set ${\displaystyle X}$ [6]

For any two families ${\displaystyle {\mathcal {C}}{\text{ and }}{\mathcal {F}},}$ declare that ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}}}$ if and only if for every ${\displaystyle C\in {\mathcal {C}}}$ there exists some ${\displaystyle F\in {\mathcal {F}}{\text{ such that }}F\subseteq C,}$ in which case it is said that ${\displaystyle {\mathcal {C}}}$ is coarser than${\displaystyle {\mathcal {F}}}$ and that ${\displaystyle {\mathcal {F}}}$ is finer than (or subordinate to) ${\displaystyle {\mathcal {C}}.}$ ^{[10] [11] [12]} The notation ${\displaystyle {\mathcal {F}}\vdash {\mathcal {C}}{\text{ or }}{\mathcal {F}}\geq {\mathcal {C}}}$ may also be used in place of ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}}.}$

Two families ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}}$mesh, ^[7] written ${\displaystyle {\mathcal {B}}\#{\mathcal {C}},}$ if ${\displaystyle B\cap C\neq \varnothing {\text{ for all }}B\in {\mathcal {B}}{\text{ and }}C\in {\mathcal {C}}.}$

Throughout, ${\displaystyle f}$ is a map and ${\displaystyle S}$ is a set.

Notation and Definition	Name
${\displaystyle f^{-1}({\mathcal {B}})=\left\{f^{-1}(B)~:~B\in {\mathcal {B}}\right\}}$ [13]	Image of ${\displaystyle {\mathcal {B}}{\text{ under }}f^{-1},}$ or the preimage of ${\displaystyle {\mathcal {B}}}$ under ${\displaystyle f}$
${\displaystyle f^{-1}(S)=\{x\in \operatorname {domain} f~:~f(x)\in S\}}$	Image of ${\displaystyle S{\text{ under }}f^{-1},}$ or the preimage of ${\displaystyle S{\text{ under }}f}$
${\displaystyle f({\mathcal {B}})=\{f(B)~:~B\in {\mathcal {B}}\}}$ [14]	Image of ${\displaystyle {\mathcal {B}}}$ under ${\displaystyle f}$
${\displaystyle f(S)=\{f(s)~:~s\in S\cap \operatorname {domain} f\}}$	Image of ${\displaystyle S{\text{ under }}f}$
${\displaystyle \operatorname {image} f=f(\operatorname {domain} f)}$	Image (or range) of ${\displaystyle f}$

Filters and prefilters

Families ${\displaystyle {\mathcal {F}}}$ of sets over ${\displaystyle \Omega }$ v t e
Is necessarily true of ${\displaystyle {\mathcal {F}}\colon }$ or, is ${\displaystyle {\mathcal {F}}}$ closed under:	Directed by ${\displaystyle \,\supseteq }$	${\displaystyle A\cap B}$	${\displaystyle A\cup B}$	${\displaystyle B\setminus A}$	${\displaystyle \Omega \setminus A}$	${\displaystyle A_{1}\cap A_{2}\cap \cdots }$	${\displaystyle A_{1}\cup A_{2}\cup \cdots }$	${\displaystyle \Omega \in {\mathcal {F}}}$	${\displaystyle \varnothing \in {\mathcal {F}}}$	F.I.P.
π-system
Semiring										Never
Semialgebra(Semifield)										Never
Monotone class						only if ${\displaystyle A_{i}\searrow }$	only if ${\displaystyle A_{i}\nearrow }$
𝜆-system(Dynkin System)				only if ${\displaystyle A\subseteq B}$			only if ${\displaystyle A_{i}\nearrow }$ or they are disjoint			Never
Ring (Order theory)
Ring (Measure theory)										Never
δ-Ring										Never
𝜎-Ring										Never
Algebra (Field)										Never
𝜎-Algebra(𝜎-Field)										Never
Dual ideal
Filter				Never	Never				${\displaystyle \varnothing \not \in {\mathcal {F}}}$
Prefilter(Filter base)				Never	Never				${\displaystyle \varnothing \not \in {\mathcal {F}}}$
Filter subbase				Never	Never				${\displaystyle \varnothing \not \in {\mathcal {F}}}$
Open Topology							(even arbitrary ${\displaystyle \cup }$)			Never
Closed Topology						(even arbitrary ${\displaystyle \cap }$)				Never
Is necessarily true of ${\displaystyle {\mathcal {F}}\colon }$ or, is ${\displaystyle {\mathcal {F}}}$ closed under:	directed downward	finite intersections	finite unions	relative complements	complements in ${\displaystyle \Omega }$	countable intersections	countable unions	contains ${\displaystyle \Omega }$	contains ${\displaystyle \varnothing }$	Finite Intersection Property
Additionally, a semiring is a π-system where every complement ${\displaystyle B\setminus A}$ is equal to a finite disjoint union of sets in ${\displaystyle {\mathcal {F}}.}$ A semialgebra is a semiring where every complement ${\displaystyle \Omega \setminus A}$ is equal to a finite disjoint union of sets in ${\displaystyle {\mathcal {F}}.}$ ${\displaystyle A,B,A_{1},A_{2},\ldots }$ are arbitrary elements of ${\displaystyle {\mathcal {F}}}$ and it is assumed that ${\displaystyle {\mathcal {F}}\neq \varnothing .}$

See also: Filter (mathematics)

The following is a list of properties that a family ${\displaystyle {\mathcal {B}}}$ 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 ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X).}$

The family of sets ${\displaystyle {\mathcal {B}}}$ is:

1. Proper or nondegenerate if ${\displaystyle \varnothing \not \in {\mathcal {B}}.}$ Otherwise, if ${\displaystyle \varnothing \in {\mathcal {B}},}$ then it is called improper ^[15] or degenerate.
2. Directed downward ^[16] if whenever ${\displaystyle A,B\in {\mathcal {B}}}$ then there exists some ${\displaystyle C\in {\mathcal {B}}}$ such that ${\displaystyle C\subseteq A\cap B.}$
   • This property can be characterized in terms of directedness, which explains the word "directed": A binary relation ${\displaystyle \,\preceq \,}$ on ${\displaystyle {\mathcal {B}}}$ is called (upward) directed if for any two ${\displaystyle A{\text{ and }}B,}$ there is some ${\displaystyle C}$ satisfying ${\displaystyle A\preceq C{\text{ and }}B\preceq C.}$ Using ${\displaystyle \,\supseteq \,}$ in place of ${\displaystyle \,\preceq \,}$ gives the definition of directed downward whereas using ${\displaystyle \,\subseteq \,}$ instead gives the definition of directed upward. Explicitly, ${\displaystyle {\mathcal {B}}}$ is directed downward (resp. directed upward) if and only if for all ${\displaystyle A,B\in {\mathcal {B}},}$ there exists some "greater" ${\displaystyle C\in {\mathcal {B}}}$ such that ${\displaystyle A\supseteq C{\text{ and }}B\supseteq C}$ (resp. such that ${\displaystyle A\subseteq C{\text{ and }}B\subseteq C}$) − where the "greater" element is always on the right hand side, ^{[note 1]} − which can be rewritten as ${\displaystyle A\cap B\supseteq C}$ (resp. as ${\displaystyle A\cup B\subseteq C}$).
   • If a family ${\displaystyle {\mathcal {B}}}$ has a greatest element with respect to ${\displaystyle \,\supseteq \,}$ (for example, if ${\displaystyle \varnothing \in {\mathcal {B}}}$) then it is necessarily directed downward.
3. Closed under finite intersections (resp. unions) if the intersection (resp. union) of any two elements of ${\displaystyle {\mathcal {B}}}$ is an element of ${\displaystyle {\mathcal {B}}.}$
   • If ${\displaystyle {\mathcal {B}}}$ is closed under finite intersections then ${\displaystyle {\mathcal {B}}}$ is necessarily directed downward. The converse is generally false.
4. Upward closed or Isotone in ${\displaystyle X}$ ^[5] if ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X){\text{ and }}{\mathcal {B}}={\mathcal {B}}^{\uparrow X},}$ or equivalently, if whenever ${\displaystyle B\in {\mathcal {B}}}$ and some set ${\displaystyle C}$ satisfies ${\displaystyle B\subseteq C\subseteq X,{\text{ then }}C\in {\mathcal {B}}.}$ Similarly, ${\displaystyle {\mathcal {B}}}$ is downward closed if ${\displaystyle {\mathcal {B}}={\mathcal {B}}^{\downarrow }.}$ An upward (respectively, downward) closed set is also called an upper set or upset (resp. a lower set or down set).
   • The family ${\displaystyle {\mathcal {B}}^{\uparrow X},}$ which is the upward closure of ${\displaystyle {\mathcal {B}}{\text{ in }}X,}$ is the unique smallest (with respect to ${\displaystyle \,\subseteq }$) isotone family of sets over ${\displaystyle X}$ having ${\displaystyle {\mathcal {B}}}$ as a subset.

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

$${\displaystyle {\textrm {Filters}}(X)\quad =\quad {\textrm {DualIdeals}}(X)\,\setminus \,\{{\mathcal {P}}(X)\}\quad \subseteq \quad {\textrm {Prefilters}}(X)\quad \subseteq \quad {\textrm {FilterSubbases}}(X).}$$

A family ${\displaystyle {\mathcal {B}}}$ is/is a(n):

1. Ideal ^{[15] [17]} if ${\displaystyle {\mathcal {B}}\neq \varnothing }$ is downward closed and closed under finite unions.
2. Dual ideal on ${\displaystyle X}$ ^[18] if ${\displaystyle {\mathcal {B}}\neq \varnothing }$ is upward closed in ${\displaystyle X}$ and also closed under finite intersections. Equivalently, ${\displaystyle {\mathcal {B}}\neq \varnothing }$ is a dual ideal if for all ${\displaystyle R,S\subseteq X,}$${\displaystyle R\cap S\in {\mathcal {B}}\;{\text{ if and only if }}\;R,S\in {\mathcal {B}}.}$ ^[9]
   • Explanation of the word "dual": A family ${\displaystyle {\mathcal {B}}}$ is a dual ideal (resp. an ideal) on ${\displaystyle X}$ if and only if the dual of ${\displaystyle {\mathcal {B}}{\text{ in }}X,}$ which is the family $${\displaystyle X\setminus {\mathcal {B}}:=\{X\setminus B~:~B\in {\mathcal {B}}\},}$$ is an ideal (resp. a dual ideal) on ${\displaystyle X.}$ In other words, dual ideal means "dual of an ideal". The family ${\displaystyle X\setminus {\mathcal {B}}}$ should not be confused with ${\displaystyle {\mathcal {P}}(X)\setminus {\mathcal {B}}=\{S\subseteq X~:~S\notin {\mathcal {B}}\}}$ because these two sets are not equal in general; for instance, ${\displaystyle X\setminus {\mathcal {B}}={\mathcal {P}}(X){\text{ if and only if }}{\mathcal {B}}={\mathcal {P}}(X).}$ The dual of the dual is the original family, meaning ${\displaystyle X\setminus (X\setminus {\mathcal {B}})={\mathcal {B}}.}$ The set ${\displaystyle X}$ belongs to the dual of ${\displaystyle {\mathcal {B}}}$ if and only if ${\displaystyle \varnothing \in {\mathcal {B}}.}$ ^[15]
3. Filter on ${\displaystyle X}$ ^{[18] [7]} if ${\displaystyle {\mathcal {B}}}$ is a proper dual ideal on ${\displaystyle X.}$ That is, a filter on ${\displaystyle X}$ is a non−empty subset of ${\displaystyle {\mathcal {P}}(X)\setminus \{\varnothing \}}$ that is closed under finite intersections and upward closed in ${\displaystyle X.}$ Equivalently, it is a prefilter that is upward closed in ${\displaystyle X.}$ In words, a filter on ${\displaystyle X}$ is a family of sets over ${\displaystyle X}$ that (1) is not empty (or equivalently, it contains ${\displaystyle X}$), (2) is closed under finite intersections, (3) is upward closed in ${\displaystyle X,}$ and (4) does not have the empty set as an element.
   • Warning: Some authors, particularly algebrists, use "filter" to mean a dual ideal; others, particularly topologists, use "filter" to mean a proper/non–degenerate dual ideal. ^[19] 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 non-degeneracy. This article uses Henri Cartan's original definition of "filter", ^{[3] [4]} which required non–degeneracy.
   • A dual filter on ${\displaystyle X}$ is a family ${\displaystyle {\mathcal {B}}}$ whose dual ${\displaystyle X\setminus {\mathcal {B}}}$ is a filter on ${\displaystyle X.}$ Equivalently, it is an ideal on ${\displaystyle X}$ that does not contain ${\displaystyle X}$ as an element.
   • The power set ${\displaystyle {\mathcal {P}}(X)}$ is the one and only dual ideal on ${\displaystyle X}$ that is not also a filter. Excluding ${\displaystyle {\mathcal {P}}(X)}$ from the definition of "filter" in topology has the same benefit as excluding ${\displaystyle 1}$ from the definition of "prime number": it obviates the need to specify "non-degenerate" (the analog of "non-unital" or "non-${\displaystyle 1}$") in many important results, thereby making their statements less awkward.
4. Prefilter or filter base ^{[7] [20]} if ${\displaystyle {\mathcal {B}}\neq \varnothing }$ is proper and directed downward. Equivalently, ${\displaystyle {\mathcal {B}}}$ is called a prefilter if its upward closure ${\displaystyle {\mathcal {B}}^{\uparrow X}}$ is a filter. It can also be defined as any family that is equivalent (with respect to ${\displaystyle \leq }$) to some filter. ^[8] A proper family ${\displaystyle {\mathcal {B}}\neq \varnothing }$ is a prefilter if and only if ${\displaystyle {\mathcal {B}}\,(\cap )\,{\mathcal {B}}\leq {\mathcal {B}}.}$ ^[8] A family is a prefilter if and only if the same is true of its upward closure.
   • If ${\displaystyle {\mathcal {B}}}$ is a prefilter then its upward closure ${\displaystyle {\mathcal {B}}^{\uparrow X}}$ is the unique smallest (relative to ${\displaystyle \subseteq }$) filter on ${\displaystyle X}$ containing ${\displaystyle {\mathcal {B}}}$ and it is called the filter generated by${\displaystyle {\mathcal {B}}.}$ A filter ${\displaystyle {\mathcal {F}}}$ is said to be generated by a prefilter ${\displaystyle {\mathcal {B}}}$ if ${\displaystyle {\mathcal {F}}={\mathcal {B}}^{\uparrow X},}$ in which ${\displaystyle {\mathcal {B}}}$ is called a filter base for ${\displaystyle {\mathcal {F}}.}$
   • Unlike a filter, a prefilter is not necessarily closed under finite intersections.
5. π–system if ${\displaystyle {\mathcal {B}}\neq \varnothing }$ is closed under finite intersections. Every non–empty family ${\displaystyle {\mathcal {B}}}$ is contained in a unique smallest π–system called the π–system generated by${\displaystyle {\mathcal {B}},}$ which is sometimes denoted by ${\displaystyle \pi ({\mathcal {B}}).}$ It is equal to the intersection of all π–systems containing ${\displaystyle {\mathcal {B}}}$ and also to the set of all possible finite intersections of sets from ${\displaystyle {\mathcal {B}}}$:$${\displaystyle \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\}.}$$
   • A π–system is a prefilter if and only if it is proper. Every filter is a proper π–system and every proper π–system is a prefilter but the converses do not hold in general.
   • A prefilter is equivalent (with respect to ${\displaystyle \leq }$) to the π–system generated by it and both of these families generate the same filter on ${\displaystyle X.}$
6. Filter subbase ^{[7] [21]} and centered ^[8] if ${\displaystyle {\mathcal {B}}\neq \varnothing }$ and ${\displaystyle {\mathcal {B}}}$ satisfies any of the following equivalent conditions:
   1. ${\displaystyle {\mathcal {B}}}$ has the finite intersection property , which means that the intersection of any finite family of (one or more) sets in ${\displaystyle {\mathcal {B}}}$ is not empty; explicitly, this means that whenever ${\displaystyle n\geq 1{\text{ and }}B_{1},\ldots ,B_{n}\in {\mathcal {B}}}$ then ${\displaystyle \varnothing \neq B_{1}\cap \cdots \cap B_{n}.}$
   2. The π–system generated by ${\displaystyle {\mathcal {B}}}$ is proper; that is, ${\displaystyle \varnothing \not \in \pi ({\mathcal {B}}).}$
   3. The π–system generated by ${\displaystyle {\mathcal {B}}}$ is a prefilter.
   4. ${\displaystyle {\mathcal {B}}}$ is a subset of some prefilter.
   5. ${\displaystyle {\mathcal {B}}}$ is a subset of some filter.
   • Assume that ${\displaystyle {\mathcal {B}}}$ is a filter subbase. Then there is a unique smallest (relative to ${\displaystyle \subseteq }$) filter ${\displaystyle {\mathcal {F}}_{\mathcal {B}}{\text{ on }}X}$ containing ${\displaystyle {\mathcal {B}}}$ called the filter generated by${\displaystyle {\mathcal {B}}}$, and ${\displaystyle {\mathcal {B}}}$ is said to be a filter subbase for this filter. This filter is equal to the intersection of all filters on ${\displaystyle X}$ that are supersets of ${\displaystyle {\mathcal {B}}.}$ The π–system generated by ${\displaystyle {\mathcal {B}},}$ denoted by ${\displaystyle \pi ({\mathcal {B}}),}$ will be a prefilter and a subset of ${\displaystyle {\mathcal {F}}_{\mathcal {B}}.}$ Moreover, the filter generated by ${\displaystyle {\mathcal {B}}}$ is equal to the upward closure of ${\displaystyle \pi ({\mathcal {B}}),}$ meaning ${\displaystyle \pi ({\mathcal {B}})^{\uparrow X}={\mathcal {F}}_{\mathcal {B}}.}$ ^[8] However, ${\displaystyle {\mathcal {B}}^{\uparrow X}={\mathcal {F}}_{\mathcal {B}}}$ if and only if${\displaystyle {\mathcal {B}}}$ is a prefilter (although ${\displaystyle {\mathcal {B}}^{\uparrow X}}$ is always an upward closed filter subbase for ${\displaystyle {\mathcal {F}}_{\mathcal {B}}}$).
   • A ${\displaystyle \subseteq }$ –smallest (meaning smallest relative to ${\displaystyle \subseteq }$ ) prefilter containing a filter subbase ${\displaystyle {\mathcal {B}}}$ will exist only under certain circumstances. It exists, for example, if the filter subbase ${\displaystyle {\mathcal {B}}}$ happens to also be a prefilter. It also exists if the filter (or equivalently, the π–system) generated by ${\displaystyle {\mathcal {B}}}$ is principal, in which case ${\displaystyle {\mathcal {B}}\cup \{\ker {\mathcal {B}}\}}$ is the unique smallest prefilter containing ${\displaystyle {\mathcal {B}}.}$ Otherwise, in general, a ${\displaystyle \subseteq }$ –smallest prefilter containing ${\displaystyle {\mathcal {B}}}$ might not exist. For this reason, some authors may refer to the π–system generated by ${\displaystyle {\mathcal {B}}}$ as the prefilter generated by${\displaystyle {\mathcal {B}}.}$ However, if a ${\displaystyle \subseteq }$ –smallest prefilter does exist (say it is denoted by ${\displaystyle \operatorname {minPre} {\mathcal {B}}}$) then contrary to usual expectations, it is not necessarily equal to "the prefilter generated by ${\displaystyle {\mathcal {B}}}$" (that is, ${\displaystyle \operatorname {minPre} {\mathcal {B}}\neq \pi ({\mathcal {B}})}$ is possible). And if the filter subbase ${\displaystyle {\mathcal {B}}}$ happens to also be a prefilter but not a π-system then unfortunately, "the prefilter generated by this prefilter" (meaning ${\displaystyle \pi ({\mathcal {B}})}$) will not be ${\displaystyle {\mathcal {B}}=\operatorname {minPre} {\mathcal {B}}}$ (that is, ${\displaystyle \pi ({\mathcal {B}})\neq {\mathcal {B}}}$ is possible even when ${\displaystyle {\mathcal {B}}}$ is a prefilter), which is why this article will prefer the accurate and unambiguous terminology of "the π–system generated by ${\displaystyle {\mathcal {B}}}$".
7. Subfilter of a filter ${\displaystyle {\mathcal {F}}}$ and that ${\displaystyle {\mathcal {F}}}$ is a superfilter of ${\displaystyle {\mathcal {B}}}$ ^{[15] [22]} if ${\displaystyle {\mathcal {B}}}$ is a filter and ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {F}}}$ where for filters, ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {F}}{\text{ if and only if }}{\mathcal {B}}\leq {\mathcal {F}}.}$
   • Importantly, the expression "is a superfilter of" is for filters the analog of "is a subsequence of". So despite having the prefix "sub" in common, "is a subfilter of" is actually the reverse of "is a subsequence of." However, ${\displaystyle {\mathcal {B}}\leq {\mathcal {F}}}$ can also be written ${\displaystyle {\mathcal {F}}\vdash {\mathcal {B}}}$ which is described by saying "${\displaystyle {\mathcal {F}}}$ is subordinate to ${\displaystyle {\mathcal {B}}.}$" With this terminology, "is subordinate to" becomes for filters (and also for prefilters) the analog of "is a subsequence of," ^[23] which makes this one situation where using the term "subordinate" and symbol ${\displaystyle \,\vdash \,}$ may be helpful.

There are no prefilters on ${\displaystyle X=\varnothing }$, which is why this article, like most authors, will automatically assume without comment that ${\displaystyle X\neq \varnothing }$ whenever this assumption is needed.

Basic examples

Named examples

• The singleton set ${\displaystyle {\mathcal {B}}=\{X\}}$ is called the indiscrete or trivial filter on ${\displaystyle X.}$ ^{[24] [10]} It is the unique minimal filter on ${\displaystyle X}$ because it is a subset of every filter on ${\displaystyle X}$; however, it need not be a subset of every prefilter on ${\displaystyle X.}$
• The dual ideal ${\displaystyle {\mathcal {P}}(X)}$ is also called the degenerate filter on ${\displaystyle X}$ ^[9] (despite not actually being a filter). It is the only dual ideal on ${\displaystyle X}$ that is not a filter on ${\displaystyle X.}$
• If ${\displaystyle (X,\tau )}$ is a topological space and ${\displaystyle x\in X,}$ then the neighborhood filter ${\displaystyle {\mathcal {N}}(x)}$ at ${\displaystyle x}$ is a filter on ${\displaystyle X.}$ By definition, a family ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X)}$ is called a neighborhood basis (resp. a neighborhood subbase) at ${\displaystyle x{\text{ for }}(X,\tau )}$ if and only if ${\displaystyle {\mathcal {B}}}$ is a prefilter (resp. ${\displaystyle {\mathcal {B}}}$ is a filter subbase) and the filter on ${\displaystyle X}$ that ${\displaystyle {\mathcal {B}}}$ generates is equal to the neighborhood filter ${\displaystyle {\mathcal {N}}(x).}$ The subfamily ${\displaystyle \tau (x)\subseteq {\mathcal {N}}(x)}$ of open neighborhoods is a filter base for ${\displaystyle {\mathcal {N}}(x).}$ Both prefilters ${\displaystyle {\mathcal {N}}(x){\text{ and }}\tau (x)}$ also form a bases for topologies on ${\displaystyle X,}$ with the topology generated ${\displaystyle \tau (x)}$ being coarser than ${\displaystyle \tau .}$ This example immediately generalizes from neighborhoods of points to neighborhoods of non–empty subsets ${\displaystyle S\subseteq X.}$
• ${\displaystyle {\mathcal {B}}}$ is an elementary prefilter ^[25] if ${\displaystyle {\mathcal {B}}=\operatorname {Tails} \left(x_{\bullet }\right)}$ for some sequence ${\displaystyle x_{\bullet }=\left(x_{i}\right)_{i=1}^{\infty }{\text{ in }}X.}$
• ${\displaystyle {\mathcal {B}}}$ is an elementary filter or a sequential filter on ${\displaystyle X}$ ^[26] if ${\displaystyle {\mathcal {B}}}$ is a filter on ${\displaystyle X}$ generated by some elementary prefilter. The filter of tails generated by a sequence that is not eventually constant is necessarily not an ultrafilter. ^[27] Every principal filter on a countable set is sequential as is every cofinite filter on a countably infinite set. ^[9] The intersection of finitely many sequential filters is again sequential. ^[9]
• The set ${\displaystyle {\mathcal {F}}}$ of all cofinite subsets of ${\displaystyle X}$ (meaning those sets whose complement in ${\displaystyle X}$ is finite) is proper if and only if ${\displaystyle {\mathcal {F}}}$ is infinite (or equivalently, ${\displaystyle X}$ is infinite), in which case ${\displaystyle {\mathcal {F}}}$ is a filter on ${\displaystyle X}$ known as the Fréchet filter or the cofinite filter on ${\displaystyle X.}$ ^{[10] [24]} If ${\displaystyle X}$ is finite then ${\displaystyle {\mathcal {F}}}$ is equal to the dual ideal ${\displaystyle {\mathcal {P}}(X),}$ which is not a filter. If ${\displaystyle X}$ is infinite then the family ${\displaystyle \{X\setminus \{x\}~:~x\in X\}}$ of complements of singleton sets is a filter subbase that generates the Fréchet filter on ${\displaystyle X.}$ As with any family of sets over ${\displaystyle X}$ that contains ${\displaystyle \{X\setminus \{x\}~:~x\in X\},}$ the kernel of the Fréchet filter on ${\displaystyle X}$ is the empty set: ${\displaystyle \ker {\mathcal {F}}=\varnothing .}$
• The intersection of all elements in any non–empty family ${\displaystyle \mathbb {F} \subseteq \operatorname {Filters} (X)}$ is itself a filter on ${\displaystyle X}$ called the infimum or greatest lower bound of ${\displaystyle \mathbb {F} {\text{ in }}\operatorname {Filters} (X),}$ which is why it may be denoted by ${\displaystyle \bigwedge _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}.}$ Said differently, ${\displaystyle \ker \mathbb {F} =\bigcap _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}\in \operatorname {Filters} (X).}$ Because every filter on ${\displaystyle X}$ has ${\displaystyle \{X\}}$ as a subset, this intersection is never empty. By definition, the infimum is the finest/largest (relative to ${\displaystyle \,\subseteq \,{\text{ and }}\,\leq \,}$) filter contained as a subset of each member of ${\displaystyle \mathbb {F} .}$ ^[10]
  • If ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {F}}}$ are filters then their infimum in ${\displaystyle \operatorname {Filters} (X)}$ is the filter ${\displaystyle {\mathcal {B}}\,(\cup )\,{\mathcal {F}}.}$ ^[8] If ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {F}}}$ are prefilters then ${\displaystyle {\mathcal {B}}\,(\cup )\,{\mathcal {F}}}$ is a prefilter that is coarser (with respect to ${\displaystyle \,\leq }$) than both ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {F}}}$ (that is, ${\displaystyle {\mathcal {B}}\,(\cup )\,{\mathcal {F}}\leq {\mathcal {B}}{\text{ and }}{\mathcal {B}}\,(\cup )\,{\mathcal {F}}\leq {\mathcal {F}}}$); indeed, it is one of the finest such prefilters, meaning that if ${\displaystyle {\mathcal {S}}}$ is a prefilter such that ${\displaystyle {\mathcal {S}}\leq {\mathcal {B}}{\text{ and }}{\mathcal {S}}\leq {\mathcal {F}}}$ then necessarily ${\displaystyle {\mathcal {S}}\leq {\mathcal {B}}\,(\cup )\,{\mathcal {F}}.}$ ^[8] More generally, if ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {F}}}$ are non−empty families and if ${\displaystyle \mathbb {S}$ :=\{{\mathcal {S}}\subseteq {\mathcal {P}}(X)~:~{\mathcal {S}}\leq {\mathcal {B}}{\text{ and }}{\mathcal {S}}\leq {\mathcal {F}}\}} then ${\displaystyle {\mathcal {B}}\,(\cup )\,{\mathcal {F}}\in \mathbb {S} }$ and ${\displaystyle {\mathcal {B}}\,(\cup )\,{\mathcal {F}}}$ is a greatest element (with respect to ${\displaystyle \leq }$) of ${\displaystyle \mathbb {S} .}$ ^[8]
• Let ${\displaystyle \varnothing \neq \mathbb {F} \subseteq \operatorname {DualIdeals} (X)}$ and let ${\displaystyle \cup \mathbb {F} =\bigcup _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}.}$ The supremum or least upper bound of ${\displaystyle \mathbb {F} {\text{ in }}\operatorname {DualIdeals} (X),}$ denoted by ${\displaystyle \bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}},}$ is the smallest (relative to ${\displaystyle \subseteq }$) dual ideal on ${\displaystyle X}$ containing every element of ${\displaystyle \mathbb {F} }$ as a subset; that is, it is the smallest (relative to ${\displaystyle \subseteq }$) dual ideal on ${\displaystyle X}$ containing ${\displaystyle \cup \mathbb {F} }$ as a subset. This dual ideal is ${\displaystyle \bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}=\pi \left(\cup \mathbb {F} \right)^{\uparrow X},}$ where ${\displaystyle \pi \left(\cup \mathbb {F} \right):=\left\{F_{1}\cap \cdots \cap F_{n}~:~n\in \mathbb {N} {\text{ and every }}F_{i}{\text{ belongs to some }}{\mathcal {F}}\in \mathbb {F} \right\}}$ is the π–system generated by ${\displaystyle \cup \mathbb {F} .}$ As with any non–empty family of sets, ${\displaystyle \cup \mathbb {F} }$ is contained in some filter on ${\displaystyle X}$ if and only if it is a filter subbase, or equivalently, if and only if ${\displaystyle \bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}=\pi \left(\cup \mathbb {F} \right)^{\uparrow X}}$ is a filter on ${\displaystyle X,}$ in which case this family is the smallest (relative to ${\displaystyle \subseteq }$) filter on ${\displaystyle X}$ containing every element of ${\displaystyle \mathbb {F} }$ as a subset and necessarily ${\displaystyle \mathbb {F} \subseteq \operatorname {Filters} (X).}$
• Let ${\displaystyle \varnothing \neq \mathbb {F} \subseteq \operatorname {Filters} (X)}$ and let ${\displaystyle \cup \mathbb {F} =\bigcup _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}.}$ The supremum or least upper bound of ${\displaystyle \mathbb {F} {\text{ in }}\operatorname {Filters} (X),}$ denoted by ${\displaystyle \bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}}$ if it exists, is by definition the smallest (relative to ${\displaystyle \subseteq }$) filter on ${\displaystyle X}$ containing every element of ${\displaystyle \mathbb {F} }$ as a subset. If it exists then necessarily ${\displaystyle \bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}=\pi \left(\cup \mathbb {F} \right)^{\uparrow X}}$ ^[10] (as defined above) and ${\displaystyle \bigvee _{{\mathcal {F}}\in \mathbb {F} }{\mathcal {F}}}$ will also be equal to the intersection of all filters on ${\displaystyle X}$ containing ${\displaystyle \cup \mathbb {F} .}$ This supremum of ${\displaystyle \mathbb {F} {\text{ in }}\operatorname {Filters} (X)}$ exists if and only if the dual ideal ${\displaystyle \pi \left(\cup \mathbb {F} \right)^{\uparrow X}}$ is a filter on ${\displaystyle X.}$ The least upper bound of a family of filters ${\displaystyle \mathbb {F} }$ may fail to be a filter. ^[10] Indeed, if ${\displaystyle X}$ contains at least 2 distinct elements then there exist filters ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}{\text{ on }}X}$ for which there does not exist a filter ${\displaystyle {\mathcal {F}}{\text{ on }}X}$ that contains both ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}.}$ If ${\displaystyle \cup \mathbb {F} }$ is not a filter subbase then the supremum of ${\displaystyle \mathbb {F} {\text{ in }}\operatorname {Filters} (X)}$ does not exist and the same is true of its supremum in ${\displaystyle \operatorname {Prefilters} (X)}$ but their supremum in the set of all dual ideals on ${\displaystyle X}$ will exist (it being the degenerate filter ${\displaystyle {\mathcal {P}}(X)}$). ^[9]
  • If ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {F}}}$ are prefilters (resp. filters on ${\displaystyle X}$) then ${\displaystyle {\mathcal {B}}\,(\cap )\,{\mathcal {F}}}$ is a prefilter (resp. a filter) if and only if it is non–degenerate (or said differently, if and only if ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {F}}}$ mesh), in which case it is one of the coarsest prefilters (resp. the coarsest filter) on ${\displaystyle X}$ (with respect to ${\displaystyle \,\leq }$) that is finer (with respect to ${\displaystyle \,\leq }$) than both ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {F}};}$ this means that if ${\displaystyle {\mathcal {S}}}$ is any prefilter (resp. any filter) such that ${\displaystyle {\mathcal {B}}\leq {\mathcal {S}}{\text{ and }}{\mathcal {F}}\leq {\mathcal {S}}}$ then necessarily ${\displaystyle {\mathcal {B}}\,(\cap )\,{\mathcal {F}}\leq {\mathcal {S}},}$ ^[8] in which case it is denoted by ${\displaystyle {\mathcal {B}}\vee {\mathcal {F}}.}$ ^[9]
• Let ${\displaystyle I{\text{ and }}X}$ be non−empty sets and for every ${\displaystyle i\in I}$ let ${\displaystyle {\mathcal {D}}_{i}}$ be a dual ideal on ${\displaystyle X.}$ If ${\displaystyle {\mathcal {I}}}$ is any dual ideal on ${\displaystyle I}$ then ${\displaystyle \bigcup _{\Xi \in {\mathcal {I}}}\;\;\bigcap _{i\in \Xi }\;{\mathcal {D}}_{i}}$ is a dual ideal on ${\displaystyle X}$ called Kowalsky's dual ideal or Kowalsky's filter. ^[15]
• The club filter of a regular uncountable cardinal is the filter of all sets containing a club subset of ${\displaystyle \kappa .}$ It is a ${\displaystyle \kappa }$-complete filter closed under diagonal intersection.

Other examples

• Let ${\displaystyle X=\{p,1,2,3\}}$ and let ${\displaystyle {\mathcal {B}}=\{\{p\},\{p,1,2\},\{p,1,3\}\},}$ which makes ${\displaystyle {\mathcal {B}}}$ a prefilter and a filter subbase that is not closed under finite intersections. Because ${\displaystyle {\mathcal {B}}}$ is a prefilter, the smallest prefilter containing ${\displaystyle {\mathcal {B}}}$ is ${\displaystyle {\mathcal {B}}.}$ The π–system generated by ${\displaystyle {\mathcal {B}}}$ is ${\displaystyle \{\{p,1\}\}\cup {\mathcal {B}}.}$ In particular, the smallest prefilter containing the filter subbase ${\displaystyle {\mathcal {B}}}$ is not equal to the set of all finite intersections of sets in ${\displaystyle {\mathcal {B}}.}$ The filter on ${\displaystyle X}$ generated by ${\displaystyle {\mathcal {B}}}$ is ${\displaystyle {\mathcal {B}}^{\uparrow X}=\{S\subseteq X:p\in S\}=\{\{p\}\cup T~:~T\subseteq \{1,2,3\}\}.}$ All three of ${\displaystyle {\mathcal {B}},}$ the π–system ${\displaystyle {\mathcal {B}}}$ generates, and ${\displaystyle {\mathcal {B}}^{\uparrow X}}$ are examples of fixed, principal, ultra prefilters that are principal at the point ${\displaystyle p;{\mathcal {B}}^{\uparrow X}}$ is also an ultrafilter on ${\displaystyle X.}$
• Let ${\displaystyle (X,\tau )}$ be a topological space, ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X),}$ and define ${\displaystyle {\overline {\mathcal {B}}}:=\left\{\operatorname {cl} _{X}B~:~B\in {\mathcal {B}}\right\},}$ where ${\displaystyle {\mathcal {B}}}$ is necessarily finer than ${\displaystyle {\overline {\mathcal {B}}}.}$ ^[28] If ${\displaystyle {\mathcal {B}}}$ is non–empty (resp. non–degenerate, a filter subbase, a prefilter, closed under finite unions) then the same is true of ${\displaystyle {\overline {\mathcal {B}}}.}$ If ${\displaystyle {\mathcal {B}}}$ is a filter on ${\displaystyle X}$ then ${\displaystyle {\overline {\mathcal {B}}}}$ is a prefilter but not necessarily a filter on ${\displaystyle X}$ although ${\displaystyle \left({\overline {\mathcal {B}}}\right)^{\uparrow X}}$ is a filter on ${\displaystyle X}$ equivalent to ${\displaystyle {\overline {\mathcal {B}}}.}$
• The set ${\displaystyle {\mathcal {B}}}$ of all dense open subsets of a (non–empty) topological space ${\displaystyle X}$ is a proper π–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 π–system and a prefilter that is finer than ${\displaystyle {\mathcal {B}}.}$ If ${\displaystyle X=\mathbb {R} ^{n}}$ (with ${\displaystyle 1\leq n\in \mathbb {N} }$) then the set ${\displaystyle {\mathcal {B}}_{\operatorname {LebFinite} }}$ of all ${\displaystyle B\in {\mathcal {B}}}$ such that ${\displaystyle B}$ has finite Lebesgue measure is a proper π–system and free prefilter that is also a proper subset of ${\displaystyle {\mathcal {B}}.}$ The prefilters ${\displaystyle {\mathcal {B}}_{\operatorname {LebFinite} }}$ and ${\displaystyle {\mathcal {B}}}$ are equivalent and so generate the same filter on ${\displaystyle X.}$ The prefilter ${\displaystyle {\mathcal {B}}_{\operatorname {LebFinite} }}$ is properly contained in, and not equivalent to, the prefilter consisting of all dense subsets of ${\displaystyle \mathbb {R} .}$ Since ${\displaystyle X}$ is a Baire space, every countable intersection of sets in ${\displaystyle {\mathcal {B}}_{\operatorname {LebFinite} }}$ is dense in ${\displaystyle X}$ (and also comeagre and non–meager) so the set of all countable intersections of elements of ${\displaystyle {\mathcal {B}}_{\operatorname {LebFinite} }}$ is a prefilter and π–system; it is also finer than, and not equivalent to, ${\displaystyle {\mathcal {B}}_{\operatorname {LebFinite} }.}$
• A filter subbase with no ${\displaystyle \,\subseteq -}$smallest prefilter containing it: In general, if a filter subbase ${\displaystyle {\mathcal {S}}}$ is not a π–system then an intersection ${\displaystyle S_{1}\cap \cdots \cap S_{n}}$ of ${\displaystyle n}$ sets from ${\displaystyle {\mathcal {S}}}$ will usually require a description involving ${\displaystyle n}$ variables that cannot be reduced down to only two (consider, for instance ${\displaystyle \pi ({\mathcal {S}})}$ when ${\displaystyle {\mathcal {S}}=\{(-\infty ,r)\cup (r,\infty )~:~r\in \mathbb {R} \}}$). This example illustrates an atypical class of a filter subbases ${\displaystyle {\mathcal {S}}_{R}}$ where all sets in both ${\displaystyle {\mathcal {S}}_{R}}$ and its generated π–system can be described as sets of the form ${\displaystyle B_{r,s},}$ so that in particular, no more than two variables (specifically, ${\displaystyle r{\text{ and }}s}$) are needed to describe the generated π–system. For all ${\displaystyle r,s\in \mathbb {R} ,}$ let $${\displaystyle B_{r,s}=(r,0)\cup (s,\infty ),}$$ where ${\displaystyle B_{r,s}=B_{\min(r,s),s}}$ always holds so no generality is lost by adding the assumption ${\displaystyle r\leq s.}$ For all real ${\displaystyle r\leq s{\text{ and }}u\leq v,}$ if ${\displaystyle s{\text{ or }}v}$ is non-negative then ${\displaystyle B_{-r,s}\cap B_{-u,v}=B_{-\min(r,u),\max(s,v)}.}$ ^{[note 2]} For every set ${\displaystyle R}$ of positive reals, let ^{[note 3]} $${\displaystyle {\mathcal {S}}_{R}:=\left\{B_{-r,r}:r\in R\right\}=\{(-r,0)\cup (r,\infty ):r\in R\}\quad {\text{ and }}\quad {\mathcal {B}}_{R}:=\left\{B_{-r,s}:r\leq s{\text{ with }}r,s\in R\right\}=\{(-r,0)\cup (s,\infty ):r\leq s{\text{ in }}R\}.}$$ Let ${\displaystyle X=\mathbb {R} }$ and suppose ${\displaystyle \varnothing \neq R\subseteq (0,\infty )}$ is not a singleton set. Then ${\displaystyle {\mathcal {S}}_{R}}$ is a filter subbase but not a prefilter and ${\displaystyle {\mathcal {B}}_{R}=\pi \left({\mathcal {S}}_{R}\right)}$ is the π–system it generates, so that ${\displaystyle {\mathcal {B}}_{R}^{\uparrow X}}$ is the unique smallest filter in ${\displaystyle X=\mathbb {R} }$ containing ${\displaystyle {\mathcal {S}}_{R}.}$ However, ${\displaystyle {\mathcal {S}}_{R}^{\uparrow X}}$ is not a filter on ${\displaystyle X}$ (nor is it a prefilter because it is not directed downward, although it is a filter subbase) and ${\displaystyle {\mathcal {S}}_{R}^{\uparrow X}}$ is a proper subset of the filter ${\displaystyle {\mathcal {B}}_{R}^{\uparrow X}.}$ If ${\displaystyle R,S\subseteq (0,\infty )}$ are non−empty intervals then the filter subbases ${\displaystyle {\mathcal {S}}_{R}{\text{ and }}{\mathcal {S}}_{S}}$ generate the same filter on ${\displaystyle X}$ if and only if ${\displaystyle R=S.}$ If ${\displaystyle {\mathcal {C}}}$ is a prefilter satisfying ${\displaystyle {\mathcal {S}}_{(0,\infty )}\subseteq {\mathcal {C}}\subseteq {\mathcal {B}}_{(0,\infty )}}$ ^{[note 4]} then for any ${\displaystyle C\in {\mathcal {C}}\setminus {\mathcal {S}}_{(0,\infty )},}$ the family ${\displaystyle {\mathcal {C}}\setminus \{C\}}$ is also a prefilter satisfying ${\displaystyle {\mathcal {S}}_{(0,\infty )}\subseteq {\mathcal {C}}\setminus \{C\}\subseteq {\mathcal {B}}_{(0,\infty )}.}$ This shows that there cannot exist a minimal/least (with respect to ${\displaystyle \subseteq }$) prefilter that both contains ${\displaystyle {\mathcal {S}}_{(0,\infty )}}$ and is a subset of the π–system generated by ${\displaystyle {\mathcal {S}}_{(0,\infty )}.}$ This remains true even if the requirement that the prefilter be a subset of ${\displaystyle {\mathcal {B}}_{(0,\infty )}=\pi \left({\mathcal {S}}_{(0,\infty )}\right)}$ is removed; that is, (in sharp contrast to filters) there does not exist a minimal/least (with respect to ${\displaystyle \subseteq }$) prefilter containing the filter subbase ${\displaystyle {\mathcal {S}}_{(0,\infty )}.}$

Kernels

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

The kernel ^[5] of a family of sets ${\displaystyle {\mathcal {B}}}$ is the intersection of all sets that are elements of ${\displaystyle {\mathcal {B}}:}$$${\displaystyle \ker {\mathcal {B}}=\bigcap _{B\in {\mathcal {B}}}B}$$

If ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X)}$ then for any point ${\displaystyle x,x\not \in \ker {\mathcal {B}}{\text{ if and only if }}X\setminus \{x\}\in {\mathcal {B}}^{\uparrow X}.}$

Properties of kernels

If ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X)}$ then ${\displaystyle \ker \left({\mathcal {B}}^{\uparrow X}\right)=\ker {\mathcal {B}}}$ and this set is also equal to the kernel of the π–system that is generated by ${\displaystyle {\mathcal {B}}.}$ In particular, if ${\displaystyle {\mathcal {B}}}$ is a filter subbase then the kernels of all of the following sets are equal:

(1) ${\displaystyle {\mathcal {B}},}$ (2) the π–system generated by ${\displaystyle {\mathcal {B}},}$ and (3) the filter generated by ${\displaystyle {\mathcal {B}}.}$

If ${\displaystyle f}$ is a map then ${\displaystyle f(\ker {\mathcal {B}})\subseteq \ker f({\mathcal {B}})}$ and ${\displaystyle f^{-1}(\ker {\mathcal {B}})=\ker f^{-1}({\mathcal {B}}).}$ If ${\displaystyle {\mathcal {B}}\leq {\mathcal {C}}}$ then ${\displaystyle \ker {\mathcal {C}}\subseteq \ker {\mathcal {B}}}$ while if ${\displaystyle {\mathcal {B}}}$ and ${\displaystyle {\mathcal {C}}}$ are equivalent then ${\displaystyle \ker {\mathcal {B}}=\ker {\mathcal {C}}.}$ Equivalent families have equal kernels. Two principal families are equivalent if and only if their kernels are equal; that is, if ${\displaystyle {\mathcal {B}}}$ and ${\displaystyle {\mathcal {C}}}$ are principal then they are equivalent if and only if ${\displaystyle \ker {\mathcal {B}}=\ker {\mathcal {C}}.}$

Classifying families by their kernels

A family ${\displaystyle {\mathcal {B}}}$ of sets is:

1. Free ^[6] if ${\displaystyle \ker {\mathcal {B}}=\varnothing ,}$ or equivalently, if ${\displaystyle \{X\setminus \{x\}~:~x\in X\}\subseteq {\mathcal {B}}^{\uparrow X};}$ this can be restated as ${\displaystyle \{X\setminus \{x\}~:~x\in X\}\leq {\mathcal {B}}.}$
   • A filter ${\displaystyle {\mathcal {F}}}$ on ${\displaystyle X}$ is free if and only if ${\displaystyle X}$ is infinite and ${\displaystyle {\mathcal {F}}}$ contains the Fréchet filter on ${\displaystyle X}$ as a subset.
2. Fixed if ${\displaystyle \ker {\mathcal {B}}\neq \varnothing }$ in which case, ${\displaystyle {\mathcal {B}}}$ is said to be fixed by any point ${\displaystyle x\in \ker {\mathcal {B}}.}$
   • Any fixed family is necessarily a filter subbase.
3. Principal ^[6] if ${\displaystyle \ker {\mathcal {B}}\in {\mathcal {B}}.}$
   • A proper principal family of sets is necessarily a prefilter.
4. Discrete or Principal at${\displaystyle x\in X}$ ^[24] if ${\displaystyle \{x\}=\ker {\mathcal {B}}\in {\mathcal {B}},}$ in which case ${\displaystyle x}$ is called its principal element.
   • The principal filter at ${\displaystyle x}$ on ${\displaystyle X}$ is the filter ${\displaystyle \{x\}^{\uparrow X}.}$ A filter ${\displaystyle {\mathcal {F}}}$ is principal at ${\displaystyle x}$ if and only if ${\displaystyle {\mathcal {F}}=\{x\}^{\uparrow X}.}$
5. Countably deep if whenever ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {F}}}$ is a countable subset then ${\displaystyle \ker {\mathcal {C}}\in {\mathcal {B}}.}$ ^[9]

If ${\displaystyle {\mathcal {B}}}$ is a principal filter on ${\displaystyle X}$ then ${\displaystyle \varnothing \neq \ker {\mathcal {B}}\in {\mathcal {B}}}$ and $${\displaystyle {\mathcal {B}}=\{\ker {\mathcal {B}}\}^{\uparrow X}=\{S\cup \ker {\mathcal {B}}:S\subseteq X\setminus \ker {\mathcal {B}}\}={\mathcal {P}}(X\setminus \ker {\mathcal {B}})\,(\cup )\,\{\ker {\mathcal {B}}\}}$$ where ${\displaystyle \{\ker {\mathcal {B}}\}}$ is also the smallest prefilter that generates ${\displaystyle {\mathcal {B}}.}$

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

For every filter ${\displaystyle {\mathcal {F}}{\text{ on }}X}$ there exists a unique pair of dual ideals ${\displaystyle {\mathcal {F}}^{*}{\text{ and }}{\mathcal {F}}^{\bullet }{\text{ on }}X}$ such that ${\displaystyle {\mathcal {F}}^{*}}$ is free, ${\displaystyle {\mathcal {F}}^{\bullet }}$ is principal, and ${\displaystyle {\mathcal {F}}^{*}\wedge {\mathcal {F}}^{\bullet }={\mathcal {F}},}$ and ${\displaystyle {\mathcal {F}}^{*}{\text{ and }}{\mathcal {F}}^{\bullet }}$ do not mesh (that is, ${\displaystyle {\mathcal {F}}^{*}\vee {\mathcal {F}}^{\bullet }={\mathcal {P}}(X)}$). The dual ideal ${\displaystyle {\mathcal {F}}^{*}}$ is called the free part of ${\displaystyle {\mathcal {F}}}$ while ${\displaystyle {\mathcal {F}}^{\bullet }}$ is called the principal part ^[9] where at least one of these dual ideals is filter. If ${\displaystyle {\mathcal {F}}}$ is principal then ${\displaystyle {\mathcal {F}}^{\bullet }:={\mathcal {F}}{\text{ and }}{\mathcal {F}}^{*}:={\mathcal {P}}(X);}$ otherwise, ${\displaystyle {\mathcal {F}}^{\bullet }:=\{\ker {\mathcal {F}}\}^{\uparrow X}}$ and ${\displaystyle {\mathcal {F}}^{*}:={\mathcal {F}}\vee \{X\setminus \left(\ker {\mathcal {F}}\right)\}^{\uparrow X}}$ is a free (non–degenerate) filter. ^[9]

Finite prefilters and finite sets

If a filter subbase ${\displaystyle {\mathcal {B}}}$ is finite then it is fixed (that is, not free); this is because ${\displaystyle \ker {\mathcal {B}}=\bigcap _{B\in {\mathcal {B}}}B}$ is a finite intersection and the filter subbase ${\displaystyle {\mathcal {B}}}$ has the finite intersection property. A finite prefilter is necessarily principal, although it does not have to be closed under finite intersections.

If ${\displaystyle X}$ is finite then all of the conclusions above hold for any ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X).}$ In particular, on a finite set ${\displaystyle X,}$ there are no free filter subbases (and so no free prefilters), all prefilters are principal, and all filters on ${\displaystyle X}$ are principal filters generated by their (non–empty) kernels.

The trivial filter ${\displaystyle \{X\}}$ is always a finite filter on ${\displaystyle X}$ and if ${\displaystyle X}$ is infinite then it is the only finite filter because a non–trivial finite filter on a set ${\displaystyle X}$ is possible if and only if ${\displaystyle X}$ is finite. However, on any infinite set there are non–trivial filter subbases and prefilters that are finite (although they cannot be filters). If ${\displaystyle X}$ is a singleton set then the trivial filter ${\displaystyle \{X\}}$ is the only proper subset of ${\displaystyle {\mathcal {P}}(X)}$ and moreover, this set ${\displaystyle \{X\}}$ is a principal ultra prefilter and any superset ${\displaystyle {\mathcal {F}}\supseteq {\mathcal {B}}}$ (where ${\displaystyle {\mathcal {F}}\subseteq {\mathcal {P}}(Y){\text{ and }}X\subseteq Y}$) with the finite intersection property will also be a principal ultra prefilter (even if ${\displaystyle Y}$ is infinite).

Characterizing fixed ultra prefilters

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

Every filter on ${\displaystyle X}$ that is principal at a single point is an ultrafilter, and if in addition ${\displaystyle X}$ is finite, then there are no ultrafilters on ${\displaystyle X}$ other than these. ^[6]

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.

Proposition—If ${\displaystyle {\mathcal {F}}}$ is an ultrafilter on ${\displaystyle X}$ then the following are equivalent:

1. ${\displaystyle {\mathcal {F}}}$ is fixed, or equivalently, not free, meaning ${\displaystyle \ker {\mathcal {F}}\neq \varnothing .}$
2. ${\displaystyle {\mathcal {F}}}$ is principal, meaning ${\displaystyle \ker {\mathcal {F}}\in {\mathcal {F}}.}$
3. Some element of ${\displaystyle {\mathcal {F}}}$ is a finite set.
4. Some element of ${\displaystyle {\mathcal {F}}}$ is a singleton set.
5. ${\displaystyle {\mathcal {F}}}$ is principal at some point of ${\displaystyle X,}$ which means ${\displaystyle \ker {\mathcal {F}}=\{x\}\in {\mathcal {F}}}$ for some ${\displaystyle x\in X.}$
6. ${\displaystyle {\mathcal {F}}}$ does not contain the Fréchet filter on ${\displaystyle X.}$
7. ${\displaystyle {\mathcal {F}}}$ is sequential. ^[9]

Finer/coarser, subordination, and meshing

The preorder ${\displaystyle \,\leq \,}$ 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", ^[23] where "${\displaystyle {\mathcal {F}}\geq {\mathcal {C}}}$" can be interpreted as "${\displaystyle {\mathcal {F}}}$ is a subsequence of ${\displaystyle {\mathcal {C}}}$" (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 ${\displaystyle {\mathcal {B}}}$ meshes with ${\displaystyle {\mathcal {C}},}$ which is closely related to the preorder ${\displaystyle \,\leq ,}$ is used in Topology to define cluster points.

Two families of sets ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}}$mesh ^[7] and are compatible, indicated by writing ${\displaystyle {\mathcal {B}}\#{\mathcal {C}},}$ if ${\displaystyle B\cap C\neq \varnothing {\text{ for all }}B\in {\mathcal {B}}{\text{ and }}C\in {\mathcal {C}}.}$ If ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}}$ do not mesh then they are dissociated. If ${\displaystyle S\subseteq X{\text{ and }}{\mathcal {B}}\subseteq {\mathcal {P}}(X)}$ then ${\displaystyle {\mathcal {B}}{\text{ and }}S}$ are said to mesh if ${\displaystyle {\mathcal {B}}{\text{ and }}\{S\}}$ mesh, or equivalently, if the trace of ${\displaystyle {\mathcal {B}}{\text{ on }}S,}$ which is the family $${\displaystyle {\mathcal {B}}{\big \vert }_{S}=\{B\cap S~:~B\in {\mathcal {B}}\},}$$ does not contain the empty set, where the trace is also called the restriction of ${\displaystyle {\mathcal {B}}{\text{ to }}S.}$

Declare that ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}},{\mathcal {F}}\geq {\mathcal {C}},{\text{ and }}{\mathcal {F}}\vdash {\mathcal {C}},}$ stated as ${\displaystyle {\mathcal {C}}}$ is coarser than${\displaystyle {\mathcal {F}}}$ and ${\displaystyle {\mathcal {F}}}$ is finer than (or subordinate to) ${\displaystyle {\mathcal {C}},}$ ^{[10] [11] [12] [8] [9]} if any of the following equivalent conditions hold:

1. Definition: Every ${\displaystyle C\in {\mathcal {C}}}$contains some ${\displaystyle F\in {\mathcal {F}}.}$ Explicitly, this means that for every ${\displaystyle C\in {\mathcal {C}},}$ there is some ${\displaystyle F\in {\mathcal {F}}}$ such that ${\displaystyle F\subseteq C.}$
   • Said more briefly in plain English, ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}}}$ if every set in ${\displaystyle {\mathcal {C}}}$ is larger than some set in ${\displaystyle {\mathcal {F}}.}$ Here, a "larger set" means a superset.
2. ${\displaystyle \{C\}\leq {\mathcal {F}}{\text{ for every }}C\in {\mathcal {C}}.}$
   • In words, ${\displaystyle \{C\}\leq {\mathcal {F}}}$ states exactly that ${\displaystyle C}$ is larger than some set in ${\displaystyle {\mathcal {F}}.}$ The equivalence of (a) and (b) follows immediately.
   • From this characterization, it follows that if ${\displaystyle \left({\mathcal {C}}_{i}\right)_{i\in I}}$ are families of sets, then ${\displaystyle \bigcup _{i\in I}{\mathcal {C}}_{i}\leq {\mathcal {F}}{\text{ if and only if }}{\mathcal {C}}_{i}\leq {\mathcal {F}}{\text{ for all }}i\in I.}$
3. ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}}^{\uparrow X},}$ which is equivalent to ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {F}}^{\uparrow X}}$;
4. ${\displaystyle {\mathcal {C}}^{\uparrow X}\leq {\mathcal {F}}}$;
5. ${\displaystyle {\mathcal {C}}^{\uparrow X}\leq {\mathcal {F}}^{\uparrow X},}$ which is equivalent to ${\displaystyle {\mathcal {C}}^{\uparrow X}\subseteq {\mathcal {F}}^{\uparrow X}}$;

and if in addition ${\displaystyle {\mathcal {F}}}$ is upward closed, which means that ${\displaystyle {\mathcal {F}}={\mathcal {F}}^{\uparrow X},}$ then this list can be extended to include:

6. ${\displaystyle {\mathcal {C}}\subseteq {\mathcal {F}}.}$ ^[5]
   • So in this case, this definition of "${\displaystyle {\mathcal {F}}}$ is finer than ${\displaystyle {\mathcal {C}}}$" would be identical to the topological definition of "finer" had ${\displaystyle {\mathcal {C}}{\text{ and }}{\mathcal {F}}}$ been topologies on ${\displaystyle X.}$

If an upward closed family ${\displaystyle {\mathcal {F}}}$ is finer than ${\displaystyle {\mathcal {C}}}$ (that is, ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}}}$) but ${\displaystyle {\mathcal {C}}\neq {\mathcal {F}}}$ then ${\displaystyle {\mathcal {F}}}$ is said to be strictly finer than ${\displaystyle {\mathcal {C}}}$ and ${\displaystyle {\mathcal {C}}}$ is strictly coarser than ${\displaystyle {\mathcal {F}}.}$

Two families are comparable if one of these sets is finer than the other. ^[10]

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

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

Assume that ${\displaystyle {\mathcal {C}}{\text{ and }}{\mathcal {F}}}$ are families of sets that satisfy ${\displaystyle {\mathcal {B}}\leq {\mathcal {F}}{\text{ and }}{\mathcal {C}}\leq {\mathcal {F}}.}$ Then ${\displaystyle \ker {\mathcal {F}}\subseteq \ker {\mathcal {C}},}$ and ${\displaystyle {\mathcal {C}}\neq \varnothing {\text{ implies }}{\mathcal {F}}\neq \varnothing ,}$ and also ${\displaystyle \varnothing \in {\mathcal {C}}{\text{ implies }}\varnothing \in {\mathcal {F}}.}$ If in addition to ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}},{\mathcal {F}}}$ is a filter subbase and ${\displaystyle {\mathcal {C}}\neq \varnothing ,}$ then ${\displaystyle {\mathcal {C}}}$ is a filter subbase ^[8] and also ${\displaystyle {\mathcal {C}}{\text{ and }}{\mathcal {F}}}$ mesh. ^{[18] [proof 1]} More generally, if both ${\displaystyle \varnothing \neq {\mathcal {B}}\leq {\mathcal {F}}{\text{ and }}\varnothing \neq {\mathcal {C}}\leq {\mathcal {F}}}$ and if the intersection of any two elements of ${\displaystyle {\mathcal {F}}}$ is non–empty, then ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}}$ mesh. ^{[proof 1]} Every filter subbase is coarser than both the π–system that it generates and the filter that it generates. ^[8]

If ${\displaystyle {\mathcal {C}}{\text{ and }}{\mathcal {F}}}$ are families such that ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}},}$ the family ${\displaystyle {\mathcal {C}}}$ is ultra, and ${\displaystyle \varnothing \not \in {\mathcal {F}},}$ then ${\displaystyle {\mathcal {F}}}$ is necessarily ultra. It follows that any family that is equivalent to an ultra family will necessarily be ultra. In particular, if ${\displaystyle {\mathcal {C}}}$ is a prefilter then either both ${\displaystyle {\mathcal {C}}}$ and the filter ${\displaystyle {\mathcal {C}}^{\uparrow X}}$ it generates are ultra or neither one is ultra. If a filter subbase is ultra then it is necessarily a prefilter, in which case the filter that it generates will also be ultra. A filter subbase ${\displaystyle {\mathcal {B}}}$ that is not a prefilter cannot be ultra; but it is nevertheless still possible for the prefilter and filter generated by ${\displaystyle {\mathcal {B}}}$ to be ultra. If ${\displaystyle S\subseteq X{\text{ and }}{\mathcal {B}}\subseteq {\mathcal {P}}(X)}$ is upward closed in ${\displaystyle X}$ then ${\displaystyle S\not \in {\mathcal {B}}{\text{ if and only if }}(X\setminus S)\#{\mathcal {B}}.}$ ^[9]

Relational properties of subordination

The relation ${\displaystyle \,\leq \,}$ is reflexive and transitive, which makes it into a preorder on ${\displaystyle {\mathcal {P}}({\mathcal {P}}(X)).}$ ^[29] The relation ${\displaystyle \,\leq \,{\text{ on }}\operatorname {Filters} (X)}$ is antisymmetric but if ${\displaystyle X}$ has more than one point then it is not symmetric.

Symmetry: For any ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X),{\mathcal {B}}\leq \{X\}{\text{ if and only if }}\{X\}={\mathcal {B}}.}$ So the set ${\displaystyle X}$ has more than one point if and only if the relation ${\displaystyle \,\leq \,{\text{ on }}\operatorname {Filters} (X)}$ is not symmetric.

Antisymmetry: If ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {C}}{\text{ then }}{\mathcal {B}}\leq {\mathcal {C}}}$ but while the converse does not hold in general, it does hold if ${\displaystyle {\mathcal {C}}}$ is upward closed (such as if ${\displaystyle {\mathcal {C}}}$ is a filter). Two filters are equivalent if and only if they are equal, which makes the restriction of ${\displaystyle \,\leq \,}$ to ${\displaystyle \operatorname {Filters} (X)}$ antisymmetric. But in general, ${\displaystyle \,\leq \,}$ is not antisymmetric on ${\displaystyle \operatorname {Prefilters} (X)}$ nor on ${\displaystyle {\mathcal {P}}({\mathcal {P}}(X))}$; that is, ${\displaystyle {\mathcal {C}}\leq {\mathcal {B}}{\text{ and }}{\mathcal {B}}\leq {\mathcal {C}}}$ does not necessarily imply ${\displaystyle {\mathcal {B}}={\mathcal {C}}}$; not even if both ${\displaystyle {\mathcal {C}}{\text{ and }}{\mathcal {B}}}$ are prefilters. ^[12] For instance, if ${\displaystyle {\mathcal {B}}}$ is a prefilter but not a filter then ${\displaystyle {\mathcal {B}}\leq {\mathcal {B}}^{\uparrow X}{\text{ and }}{\mathcal {B}}^{\uparrow X}\leq {\mathcal {B}}{\text{ but }}{\mathcal {B}}\neq {\mathcal {B}}^{\uparrow X}.}$

Equivalent families of sets

The preorder ${\displaystyle \,\leq \,}$ induces its canonical equivalence relation on ${\displaystyle {\mathcal {P}}({\mathcal {P}}(X)),}$ where for all ${\displaystyle {\mathcal {B}},{\mathcal {C}}\in {\mathcal {P}}({\mathcal {P}}(X)),}$${\displaystyle {\mathcal {B}}}$ is equivalent to ${\displaystyle {\mathcal {C}}}$ if any of the following equivalent conditions hold: ^{[8] [5]}

1. ${\displaystyle {\mathcal {C}}\leq {\mathcal {B}}{\text{ and }}{\mathcal {B}}\leq {\mathcal {C}}.}$
2. The upward closures of ${\displaystyle {\mathcal {C}}{\text{ and }}{\mathcal {B}}}$ are equal.

Two upward closed (in ${\displaystyle X}$) subsets of ${\displaystyle {\mathcal {P}}(X)}$ are equivalent if and only if they are equal. ^[8] If ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X)}$ then necessarily ${\displaystyle \varnothing \leq {\mathcal {B}}\leq {\mathcal {P}}(X)}$ and ${\displaystyle {\mathcal {B}}}$ is equivalent to ${\displaystyle {\mathcal {B}}^{\uparrow X}.}$ Every equivalence class other than ${\displaystyle \{\varnothing \}}$ contains a unique representative (that is, element of the equivalence class) that is upward closed in ${\displaystyle X.}$ ^[8]

Properties preserved between equivalent families

Let ${\displaystyle {\mathcal {B}},{\mathcal {C}}\in {\mathcal {P}}({\mathcal {P}}(X))}$ be arbitrary and let ${\displaystyle {\mathcal {F}}}$ be any family of sets. If ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}}$ are equivalent (which implies that ${\displaystyle \ker {\mathcal {B}}=\ker {\mathcal {C}}}$) then for each of the statements/properties listed below, either it is true of both${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}}$ or else it is false of both${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}}$: ^[29]

1. Not empty
2. Proper (that is, ${\displaystyle \varnothing }$ is not an element)
   • Moreover, any two degenerate families are necessarily equivalent.
3. Filter subbase
4. Prefilter
   • In which case ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}}$ generate the same filter on ${\displaystyle X}$ (that is, their upward closures in ${\displaystyle X}$ are equal).
5. Free
6. Principal
7. Ultra
8. Is equal to the trivial filter ${\displaystyle \{X\}}$
   • In words, this means that the only subset of ${\displaystyle {\mathcal {P}}(X)}$ that is equivalent to the trivial filter 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).
9. Meshes with ${\displaystyle {\mathcal {F}}}$
10. Is finer than ${\displaystyle {\mathcal {F}}}$
11. Is coarser than ${\displaystyle {\mathcal {F}}}$
12. Is equivalent to ${\displaystyle {\mathcal {F}}}$

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

Equivalence of prefilters and filter subbases

If ${\displaystyle {\mathcal {B}}}$ is a prefilter on ${\displaystyle X}$ then the following families are always equivalent to each other:

1. ${\displaystyle {\mathcal {B}}}$;
2. the π–system generated by ${\displaystyle {\mathcal {B}}}$;
3. the filter on ${\displaystyle X}$ generated by ${\displaystyle {\mathcal {B}}}$;

and moreover, these three families all generate the same filter on ${\displaystyle X}$ (that is, the upward closures in ${\displaystyle X}$ 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. ^{[8] [proof 2]} Every prefilter is equivalent to exactly one filter on ${\displaystyle X,}$ 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. ^[8]

A filter subbase that is not also a prefilter cannot 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. Every filter is both a π–system and a ring of sets.

Examples of determining equivalence/non–equivalence

Examples: Let ${\displaystyle X=\mathbb {R} }$ and let ${\displaystyle E}$ be the set ${\displaystyle \mathbb {Z} }$ of integers (or the set ${\displaystyle \mathbb {N} }$). Define the sets $${\displaystyle {\mathcal {B}}=\{[e,\infty )~:~e\in E\}\qquad {\text{ and }}\qquad {\mathcal {C}}_{\operatorname {open} }=\{(-\infty ,e)\cup (1+e,\infty )~:~e\in E\}\qquad {\text{ and }}\qquad {\mathcal {C}}_{\operatorname {closed} }=\{(-\infty ,e]\cup [1+e,\infty )~:~e\in E\}.}$$

All three sets are filter subbases but none are filters on ${\displaystyle X}$ and only ${\displaystyle {\mathcal {B}}}$ is prefilter (in fact, ${\displaystyle {\mathcal {B}}}$ is even free and closed under finite intersections). The set ${\displaystyle {\mathcal {C}}_{\operatorname {closed} }}$ is fixed while ${\displaystyle {\mathcal {C}}_{\operatorname {open} }}$ is free (unless ${\displaystyle E=\mathbb {N} }$). They satisfy ${\displaystyle {\mathcal {C}}_{\operatorname {closed} }\leq {\mathcal {C}}_{\operatorname {open} }\leq {\mathcal {B}},}$ but no two of these families are equivalent; moreover, no two of the filters generated by these three filter subbases are equivalent/equal. This conclusion can be reached by showing that the π–systems that they generate are not equivalent. Unlike with ${\displaystyle {\mathcal {C}}_{\operatorname {open} },}$ every set in the π–system generated by ${\displaystyle {\mathcal {C}}_{\operatorname {closed} }}$ contains ${\displaystyle \mathbb {Z} }$ as a subset, ^{[note 5]} which is what prevents their generated π–systems (and hence their generated filters) from being equivalent. If ${\displaystyle E}$ was instead ${\displaystyle \mathbb {Q} {\text{ or }}\mathbb {R} }$ then all three families would be free and although the sets ${\displaystyle {\mathcal {C}}_{\operatorname {closed} }{\text{ and }}{\mathcal {C}}_{\operatorname {open} }}$ would remain not equivalent to each other, their generated π–systems would be equivalent and consequently, they would generate the same filter on ${\displaystyle X}$; however, this common filter would still be strictly coarser than the filter generated by ${\displaystyle {\mathcal {B}}.}$

Set theoretic properties and constructions

Trace and meshing

If ${\displaystyle {\mathcal {B}}}$ is a prefilter (resp. filter) on ${\displaystyle X{\text{ and }}S\subseteq X}$ then the trace of ${\displaystyle {\mathcal {B}}{\text{ on }}S,}$ which is the family ${\displaystyle {\mathcal {B}}{\big \vert }_{S}:={\mathcal {B}}(\cap )\{S\},}$ is a prefilter (resp. a filter) if and only if ${\displaystyle {\mathcal {B}}{\text{ and }}S}$ mesh (that is, ${\displaystyle \varnothing \not \in {\mathcal {B}}(\cap )\{S\}}$ ^[10] ), in which case the trace of ${\displaystyle {\mathcal {B}}{\text{ on }}S}$ is said to be induced by ${\displaystyle S}$. If ${\displaystyle {\mathcal {B}}}$ is ultra and if ${\displaystyle {\mathcal {B}}{\text{ and }}S}$ mesh then the trace ${\displaystyle {\mathcal {B}}{\big \vert }_{S}}$ is ultra. If ${\displaystyle {\mathcal {B}}}$ is an ultrafilter on ${\displaystyle X}$ then the trace of ${\displaystyle {\mathcal {B}}{\text{ on }}S}$ is a filter on ${\displaystyle S}$ if and only if ${\displaystyle S\in {\mathcal {B}}.}$

For example, suppose that ${\displaystyle {\mathcal {B}}}$ is a filter on ${\displaystyle X{\text{ and }}S\subseteq X}$ is such that ${\displaystyle S\neq X{\text{ and }}X\setminus S\not \in {\mathcal {B}}.}$ Then ${\displaystyle {\mathcal {B}}{\text{ and }}S}$ mesh and ${\displaystyle {\mathcal {B}}\cup \{S\}}$ generates a filter on ${\displaystyle X}$ that is strictly finer than ${\displaystyle {\mathcal {B}}.}$ ^[10]

When prefilters mesh

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

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

If the least upper bound of two filters ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}}$ exists in ${\displaystyle \operatorname {Filters} (X)}$ then this least upper bound is equal to ${\displaystyle {\mathcal {B}}(\cap ){\mathcal {C}}.}$ ^[27]

Images and preimages under functions

See also: List of set identities and relations and Algebra of sets

Throughout, ${\displaystyle f:X\to Y{\text{ and }}g:Y\to Z}$ will be maps between non–empty sets.

Images of prefilters

Let ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(Y).}$ Many of the properties that ${\displaystyle {\mathcal {B}}}$ 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 ${\displaystyle {\mathcal {B}}{\text{ on }}Y,}$ then it will necessarily also be true of ${\displaystyle g({\mathcal {B}}){\text{ on }}g(Y)}$ (although possibly not on the codomain ${\displaystyle Z}$ unless ${\displaystyle g}$ is surjective): ^{[10] [13] [30] [31] [32] [33]}

• Filter properties: ultra, ultrafilter, filter, prefilter, filter subbase, dual ideal, upward closed, proper/non–degenerate.
• Ideal properties: ideal, closed under finite unions, downward closed, directed upward.

Moreover, if ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(Y)}$ is a prefilter then so are both ${\displaystyle g({\mathcal {B}}){\text{ and }}g^{-1}(g({\mathcal {B}})).}$ ^[10] The image under a map ${\displaystyle f:X\to Y}$ of an ultra set ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X)}$ is again ultra and if ${\displaystyle {\mathcal {B}}}$ is an ultra prefilter then so is ${\displaystyle f({\mathcal {B}}).}$

If ${\displaystyle {\mathcal {B}}}$ is a filter then ${\displaystyle g({\mathcal {B}})}$ is a filter on the range ${\displaystyle g(Y),}$ but it is a filter on the codomain ${\displaystyle Z}$ if and only if ${\displaystyle g}$ is surjective. ^[30] Otherwise it is just a prefilter on ${\displaystyle Z}$ and its upward closure must be taken in ${\displaystyle Z}$ to obtain a filter. The upward closure of ${\displaystyle g({\mathcal {B}}){\text{ in }}Z}$ is $${\displaystyle g({\mathcal {B}})^{\uparrow Z}=\left\{S\subseteq Z~:~B\subseteq g^{-1}(S){\text{ for some }}B\in {\mathcal {B}}\right\}}$$ where if ${\displaystyle {\mathcal {B}}}$ is upward closed in ${\displaystyle Y}$ (that is, a filter) then this simplifies to: $${\displaystyle g({\mathcal {B}})^{\uparrow Z}=\left\{S\subseteq Z~:~g^{-1}(S)\in {\mathcal {B}}\right\}.}$$

If ${\displaystyle X\subseteq Y}$ then taking ${\displaystyle g}$ to be the inclusion map ${\displaystyle X\to Y}$ shows that any prefilter (resp. ultra prefilter, filter subbase) on ${\displaystyle X}$ is also a prefilter (resp. ultra prefilter, filter subbase) on ${\displaystyle Y.}$ ^[10]

Preimages of prefilters

Let ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(Y).}$ Under the assumption that ${\displaystyle f:X\to Y}$ is surjective:

   ${\displaystyle f^{-1}({\mathcal {B}})}$ is a prefilter (resp. filter subbase, π–system, closed under finite unions, proper) if and only if this is true of ${\displaystyle {\mathcal {B}}.}$

However, if ${\displaystyle {\mathcal {B}}}$ is an ultrafilter on ${\displaystyle Y}$ then even if ${\displaystyle f}$ is surjective (which would make ${\displaystyle f^{-1}({\mathcal {B}})}$ a prefilter), it is nevertheless still possible for the prefilter ${\displaystyle f^{-1}({\mathcal {B}})}$ to be neither ultra nor a filter on ${\displaystyle X}$  ^[31] (see this ^{[note 6]} footnote for an example).

If ${\displaystyle f:X\to Y}$ is not surjective then denote the trace of ${\displaystyle {\mathcal {B}}{\text{ on }}f(X)}$ by ${\displaystyle {\mathcal {B}}{\big \vert }_{f(X)},}$ where in this case particular case the trace satisfies: $${\displaystyle {\mathcal {B}}{\big \vert }_{f(X)}=f\left(f^{-1}({\mathcal {B}})\right)}$$ and consequently also: $${\displaystyle f^{-1}({\mathcal {B}})=f^{-1}\left({\mathcal {B}}{\big \vert }_{f(X)}\right).}$$

This last equality and the fact that the trace ${\displaystyle {\mathcal {B}}{\big \vert }_{f(X)}}$ is a family of sets over ${\displaystyle f(X)}$ means that to draw conclusions about ${\displaystyle f^{-1}({\mathcal {B}}),}$ the trace ${\displaystyle {\mathcal {B}}{\big \vert }_{f(X)}}$ can be used in place of ${\displaystyle {\mathcal {B}}}$ and the surjection${\displaystyle f:X\to f(X)}$ can be used in place of ${\displaystyle f:X\to Y.}$ For example: ^{[13] [10] [32]}

   ${\displaystyle f^{-1}({\mathcal {B}})}$ is a prefilter (resp. filter subbase, π–system, proper) if and only if this is true of ${\displaystyle {\mathcal {B}}{\big \vert }_{f(X)}.}$

In this way, the case where ${\displaystyle f}$ 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 ${\displaystyle {\mathcal {B}}}$ is an ultrafilter on ${\displaystyle Y,}$ if ${\displaystyle f}$ is not surjective then it is nevertheless possible that ${\displaystyle \varnothing \in {\mathcal {B}}{\big \vert }_{f(X)},}$ which would make ${\displaystyle f^{-1}({\mathcal {B}})}$ degenerate as well. The next characterization shows that degeneracy is the only obstacle. If ${\displaystyle {\mathcal {B}}}$ is a prefilter then the following are equivalent: ^{[13] [10] [32]}

1. ${\displaystyle f^{-1}({\mathcal {B}})}$ is a prefilter;
2. ${\displaystyle {\mathcal {B}}{\big \vert }_{f(X)}}$ is a prefilter;
3. ${\displaystyle \varnothing \not \in {\mathcal {B}}{\big \vert }_{f(X)}}$;
4. ${\displaystyle {\mathcal {B}}}$ meshes with ${\displaystyle f(X)}$

and moreover, if ${\displaystyle f^{-1}({\mathcal {B}})}$ is a prefilter then so is ${\displaystyle f\left(f^{-1}({\mathcal {B}})\right).}$ ^{[13] [10]}

If ${\displaystyle S\subseteq Y}$ and if ${\displaystyle \operatorname {In} :S\to Y}$ denotes the inclusion map then the trace of ${\displaystyle {\mathcal {B}}{\text{ on }}S}$ is equal to ${\displaystyle \operatorname {In} ^{-1}({\mathcal {B}}).}$ ^[10] This observation allows the results in this subsection to be applied to investigating the trace on a set.

Bijections, injections, and surjections

All properties involving filters are preserved under bijections. This means that if ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(Y){\text{ and }}g:Y\to Z}$ is a bijection, then ${\displaystyle {\mathcal {B}}}$ is a prefilter (resp. ultra, ultra prefilter, filter on ${\displaystyle X,}$ ultrafilter on ${\displaystyle X,}$ filter subbase, π–system, ideal on ${\displaystyle X,}$ etc.) if and only if the same is true of ${\displaystyle g({\mathcal {B}}){\text{ on }}Z.}$ ^[31]

A map ${\displaystyle g:Y\to Z}$ is injective if and only if for all prefilters ${\displaystyle {\mathcal {B}}{\text{ on }}Y,{\mathcal {B}}}$ is equivalent to ${\displaystyle g^{-1}(g({\mathcal {B}})).}$ ^[27] The image of an ultra family of sets under an injection is again ultra.

The map ${\displaystyle f:X\to Y}$ is a surjection if and only if whenever ${\displaystyle {\mathcal {B}}}$ is a prefilter on ${\displaystyle Y}$ then the same is true of ${\displaystyle f^{-1}({\mathcal {B}}){\text{ on }}X}$ (this result does not require the ultrafilter lemma).

Subordination is preserved by images and preimages

The relation ${\displaystyle \,\leq \,}$ is preserved under both images and preimages of families of sets. ^[10] This means that for any families ${\displaystyle {\mathcal {C}}{\text{ and }}{\mathcal {F}},}$ ^[32] $${\displaystyle {\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}}).}$$

Moreover, the following relations always hold for any family of sets ${\displaystyle {\mathcal {C}}}$: ^[32] $${\displaystyle {\mathcal {C}}\leq f\left(f^{-1}({\mathcal {C}})\right)}$$ where equality will hold if ${\displaystyle f}$ is surjective. ^[32] Furthermore, $${\displaystyle 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).}$$

If ${\displaystyle {\mathcal {B}}\subseteq {\mathcal {P}}(X){\text{ and }}{\mathcal {C}}\subseteq {\mathcal {P}}(Y)}$ then ^[9] $${\displaystyle f({\mathcal {B}})\leq {\mathcal {C}}\quad {\text{ if and only if }}\quad {\mathcal {B}}\leq f^{-1}({\mathcal {C}})}$$ and ${\displaystyle g^{-1}(g({\mathcal {C}}))\leq {\mathcal {C}}}$ ^[32] where equality will hold if ${\displaystyle g}$ is injective. ^[32]

Products of prefilters

Suppose ${\displaystyle X_{\bullet }=\left(X_{i}\right)_{i\in I}}$ is a family of one or more non–empty sets, whose product will be denoted by ${\displaystyle \prod X_{\bullet }:=\prod _{i\in I}X_{i},}$ and for every index ${\displaystyle i\in I,}$ let $${\displaystyle \Pr {}_{X_{i}}:\prod X_{\bullet }\to X_{i}}$$ denote the canonical projection. Let ${\displaystyle {\mathcal {B}}_{\bullet }:=\left({\mathcal {B}}_{i}\right)_{i\in I}}$ be non−empty families, also indexed by ${\displaystyle I,}$ such that ${\displaystyle {\mathcal {B}}_{i}\subseteq {\mathcal {P}}\left(X_{i}\right)}$ for each ${\displaystyle i\in I.}$ The product of the families ${\displaystyle {\mathcal {B}}_{\bullet }}$ ^[10] is defined identically to how the basic open subsets of the product topology are defined (had all of these ${\displaystyle {\mathcal {B}}_{i}}$ been topologies). That is, both the notations $${\displaystyle \prod _{}{\mathcal {B}}_{\bullet }=\prod _{i\in I}{\mathcal {B}}_{i}}$$ denote the family of all cylinder subsets ${\displaystyle \prod _{i\in I}S_{i}\subseteq \prod _{}X_{\bullet }}$ such that ${\displaystyle S_{i}=X_{i}}$ for all but finitely many ${\displaystyle i\in I}$ and where ${\displaystyle S_{i}\in {\mathcal {B}}_{i}}$ for any one of these finitely many exceptions (that is, for any ${\displaystyle i}$ such that ${\displaystyle S_{i}\neq X_{i},}$ necessarily ${\displaystyle S_{i}\in {\mathcal {B}}_{i}}$). When every ${\displaystyle {\mathcal {B}}_{i}}$ is a filter subbase then the family ${\displaystyle \bigcup _{i\in I}\Pr {}_{X_{i}}^{-1}\left({\mathcal {B}}_{i}\right)}$ is a filter subbase for the filter on ${\displaystyle \prod X_{\bullet }}$ generated by ${\displaystyle {\mathcal {B}}_{\bullet }.}$ ^[10] If ${\displaystyle \prod {\mathcal {B}}_{\bullet }}$ is a filter subbase then the filter on ${\displaystyle \prod X_{\bullet }}$ that it generates is called the filter generated by ${\displaystyle {\mathcal {B}}_{\bullet }}$. ^[10] If every ${\displaystyle {\mathcal {B}}_{i}}$ is a prefilter on ${\displaystyle X_{i}}$ then ${\displaystyle \prod {\mathcal {B}}_{\bullet }}$ will be a prefilter on ${\displaystyle \prod X_{\bullet }}$ and moreover, this prefilter is equal to the coarsest prefilter ${\displaystyle {\mathcal {F}}{\text{ on }}\prod X_{\bullet }}$ such that ${\displaystyle \Pr {}_{X_{i}}({\mathcal {F}})={\mathcal {B}}_{i}}$ for every ${\displaystyle i\in I.}$ ^[10] However, ${\displaystyle \prod {\mathcal {B}}_{\bullet }}$ may fail to be a filter on ${\displaystyle \prod X_{\bullet }}$ even if every ${\displaystyle {\mathcal {B}}_{i}}$ is a filter on ${\displaystyle X_{i}.}$ ^[10]

Set subtraction and some examples

Set subtracting away a subset of the kernel

If ${\displaystyle {\mathcal {B}}}$ is a prefilter on ${\displaystyle X,S\subseteq \ker {\mathcal {B}},{\text{ and }}S\not \in {\mathcal {B}}}$ then ${\displaystyle \{B\setminus S~:~B\in {\mathcal {B}}\}}$ is a prefilter, where this latter set is a filter if and only if ${\displaystyle {\mathcal {B}}}$ is a filter and ${\displaystyle S=\varnothing .}$ In particular, if ${\displaystyle {\mathcal {B}}}$ is a neighborhood basis at a point ${\displaystyle x}$ in a topological space ${\displaystyle X}$ having at least 2 points, then ${\displaystyle \{B\setminus \{x\}~:~B\in {\mathcal {B}}\}}$ is a prefilter on ${\displaystyle X.}$ This construction is used to define ${\displaystyle \lim _{\stackrel {x\to x_{0}}{x\neq x_{0}}}f(x)\to y}$ in terms of prefilter convergence.

Using duality between ideals and dual ideals

There is a dual relation ${\displaystyle {\mathcal {B}}\vartriangleleft {\mathcal {C}}}$ or ${\displaystyle {\mathcal {C}}\vartriangleright {\mathcal {B}},}$ which is defined to mean that every ${\displaystyle B\in {\mathcal {B}}}$is contained in some ${\displaystyle C\in {\mathcal {C}}.}$ Explicitly, this means that for every ${\displaystyle B\in {\mathcal {B}}}$ , there is some ${\displaystyle C\in {\mathcal {C}}}$ such that ${\displaystyle B\subseteq C.}$ This relation is dual to ${\displaystyle \,\leq \,}$ in sense that ${\displaystyle {\mathcal {B}}\vartriangleleft {\mathcal {C}}}$ if and only if ${\displaystyle (X\setminus {\mathcal {B}})\leq (X\setminus {\mathcal {C}}).}$ ^[5] The relation ${\displaystyle {\mathcal {B}}\vartriangleleft {\mathcal {C}}}$ is closely related to the downward closure of a family in a manner similar to how ${\displaystyle \,\leq \,}$ is related to the upward closure family.

For an example that uses this duality, suppose ${\displaystyle f:X\to Y}$ is a map and ${\displaystyle \Xi \subseteq {\mathcal {P}}(Y).}$ Define $${\displaystyle \Xi _{f}:=\{I\subseteq X~:~f(I)\in \Xi \}}$$ which contains the empty set if and only if ${\displaystyle \Xi }$ does. It is possible for ${\displaystyle \Xi }$ to be an ultrafilter and for ${\displaystyle \Xi _{f}}$ to be empty or not closed under finite intersections (see footnote for example). ^{[note 7]} Although ${\displaystyle \Xi _{f}}$ does not preserve properties of filters very well, if ${\displaystyle \Xi }$ is downward closed (resp. closed under finite unions, an ideal) then this will also be true for ${\displaystyle \Xi _{f}.}$ Using the duality between ideals and dual ideals allows for a construction of the following filter.

   Suppose ${\displaystyle {\mathcal {B}}}$ is a filter on ${\displaystyle Y}$ and let ${\displaystyle \Xi$ :=Y\setminus {\mathcal {B}}} be its dual in ${\displaystyle Y.}$ If ${\displaystyle X\not \in \Xi _{f}}$ then ${\displaystyle \Xi _{f}}$'s dual ${\displaystyle X\setminus \Xi _{f}}$ will be a filter.

Other examples

Example: The set ${\displaystyle {\mathcal {B}}}$ of all dense open subsets of a topological space is a proper π–system and a prefilter. If the space is a Baire space, then the set of all countable intersections of dense open subsets is a π–system and a prefilter that is finer than ${\displaystyle {\mathcal {B}}.}$

Example: The family ${\displaystyle {\mathcal {B}}_{\operatorname {Open} }}$ of all dense open sets of ${\displaystyle X=\mathbb {R} }$ having finite Lebesgue measure is a proper π–system and a free prefilter. The prefilter ${\displaystyle {\mathcal {B}}_{\operatorname {Open} }}$ is properly contained in, and not equivalent to, the prefilter consisting of all dense open subsets of ${\displaystyle \mathbb {R} .}$ Since ${\displaystyle X}$ is a Baire space, every countable intersection of sets in ${\displaystyle {\mathcal {B}}_{\operatorname {Open} }}$ is dense in ${\displaystyle X}$ (and also comeagre and non–meager) so the set of all countable intersections of elements of ${\displaystyle {\mathcal {B}}_{\operatorname {Open} }}$ is a prefilter and π–system; it is also finer than, and not equivalent to, ${\displaystyle {\mathcal {B}}_{\operatorname {Open} }.}$

See also

• Characterizations of the category of topological spaces
• Convergence space  – Generalization of the notion of convergence that is found in general topology
• Filter (mathematics)  – Special subset of a partially ordered set
• Filter quantifier
• Filters in topology  – Use of filters to describe and characterize all basic topological notions and results
• Filtration (mathematics)  – Indexed set in mathematics
• Filtration (probability theory)  – Model of information available at a given point of a random process
• Filtration (abstract algebra)
• Fréchet filter
• Generic filter
• Ideal (set theory)  – Non-empty family of sets that is closed under finite unions and subsets
• Stone–Čech compactification#Construction using ultrafilters  – Concept in topology
• The fundamental theorem of ultraproducts  – Mathematical constructionPages displaying short descriptions of redirect targets
• Ultrafilter  – Maximal proper filter
• Ultrafilter on a set  – Maximal proper filter

Notes

1. Indeed, in both the cases ${\displaystyle \,\supseteq {\text{ and }}\subseteq ,}$ appearing on the right is precisely what makes ${\displaystyle C}$ "greater", for if ${\displaystyle A{\text{ and }}B}$ are related by some binary relation ${\displaystyle \,\preceq \,}$ (meaning that ${\displaystyle A\preceq B{\text{ or }}B\preceq A}$) then whichever one of ${\displaystyle A{\text{ and }}B}$ appears on the right is said to be greater than or equal to the one that appears on the left with respect to ${\displaystyle \,\preceq \,}$ (or less verbosely, "${\displaystyle \,\preceq }$–greater than or equal to").
2. More generally, for any real numbers satisfying ${\displaystyle r\leq s{\text{ and }}u\leq v,B_{r,s}\cap B_{u,v}=B_{m,\max(s,v)}}$ where ${\displaystyle m:=\min(s,v,\max(r,u)).}$
3. If ${\displaystyle R,S\subseteq \mathbb {R} {\text{ then }}{\mathcal {B}}_{R}\cap {\mathcal {B}}_{S}={\mathcal {B}}_{R\cap S}.}$ This property and the fact that ${\displaystyle {\mathcal {B}}_{R}}$ is nonempty and proper if and only if ${\displaystyle R\neq \varnothing }$ actually allows for the construction of even more examples of prefilters, because if ${\displaystyle {\mathcal {S}}\subseteq {\mathcal {P}}(\mathbb {R} )}$ is any prefilter (resp. filter subbase, π–system) then so is ${\displaystyle \left\{{\mathcal {B}}_{S}:S\in {\mathcal {S}}\right\}.}$
4. It may be shown that if ${\displaystyle {\mathcal {C}}}$ is any family such that ${\displaystyle {\mathcal {S}}_{(0,\infty )}\subseteq {\mathcal {C}}\subseteq {\mathcal {B}}_{(0,\infty )}}$ then ${\displaystyle {\mathcal {C}}}$ is a prefilter if and only if for all real ${\displaystyle 0<r\leq s}$ there exist real ${\displaystyle 0<u\leq v}$ such that ${\displaystyle u\leq r\leq s\leq v{\text{ and }}B_{-u,v}\in {\mathcal {C}}.}$
5. The π–system generated by ${\displaystyle {\mathcal {C}}_{\operatorname {open} }}$ (resp. by ${\displaystyle {\mathcal {C}}_{\operatorname {closed} }}$) is a prefilter whose elements are finite unions of open (resp. closed) intervals having endpoints in ${\displaystyle E\cup \{-\infty ,\infty \}}$ with two of these intervals being of the forms ${\displaystyle (-\infty ,e_{1}){\text{ and }}(e_{2},\infty )}$ (resp. ${\displaystyle (-\infty ,e_{1}]{\text{ and }}[e_{2},\infty )}$) where ${\displaystyle e_{1}\leq 1+e_{2}}$; in the case of ${\displaystyle {\mathcal {C}}_{\operatorname {closed} },}$ it is possible for one or more of these closed intervals to be singleton sets (that is, degenerate closed intervals).
6. For an example of how this failure can happen, consider the case where there exists some ${\displaystyle B\in {\mathcal {B}}{\text{ and }}y\in Y\setminus B}$ such that both ${\displaystyle f^{-1}(y)}$ and its complement in ${\displaystyle X}$ contains at least two distinct points.
7. Suppose ${\displaystyle X}$ has more than one point, ${\displaystyle f:X\to Y}$ is a constant map, and ${\displaystyle \Xi =\{f(X)\}}$ then ${\displaystyle \Xi _{f}}$ will consist of all non–empty subsets of ${\displaystyle Y.}$

Proofs

1. To prove that ${\displaystyle {\mathcal {B}}{\text{ and }}{\mathcal {C}}}$ mesh, let ${\displaystyle B\in {\mathcal {B}}{\text{ and }}C\in {\mathcal {C}}.}$ Because ${\displaystyle {\mathcal {B}}\leq {\mathcal {F}}}$ (resp. because ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}}}$), there exists some ${\displaystyle F,G\in {\mathcal {F}}{\text{ such that }}F\subseteq B{\text{ and }}G\subseteq C}$ where by assumption ${\displaystyle F\cap G\neq \varnothing }$ so ${\displaystyle \varnothing \neq G\cap F\subseteq B\cap C.\blacksquare }$ If ${\displaystyle {\mathcal {F}}}$ is a filter subbase and if ${\displaystyle \varnothing \neq {\mathcal {C}}\leq {\mathcal {F}},}$ then taking ${\displaystyle {\mathcal {B}}:={\mathcal {F}}}$ implies that ${\displaystyle {\mathcal {C}}{\text{ and }}{\mathcal {F}}{\text{ mesh. }}\blacksquare }$ If ${\displaystyle C_{1},\ldots ,C_{n}\in {\mathcal {C}}}$ then there are ${\displaystyle F_{1},\ldots ,F_{n}\in {\mathcal {F}}}$ such that ${\displaystyle F_{i}\subseteq C_{i}}$ and now ${\displaystyle \varnothing \neq F_{1}\cap \cdots F_{n}\subseteq C_{1}\cap \cdots C_{n}.}$ This shows that ${\displaystyle {\mathcal {C}}}$ is a filter subbase. ${\displaystyle \blacksquare }$
2. This is because if ${\displaystyle {\mathcal {C}}{\text{ and }}{\mathcal {F}}}$ are prefilters on ${\displaystyle X}$ then ${\displaystyle {\mathcal {C}}\leq {\mathcal {F}}{\text{ if and only if }}{\mathcal {C}}^{\uparrow X}\subseteq {\mathcal {F}}^{\uparrow X}.}$

Citations

1. Jech 2006, p. 73.
2. Koutras et al. 2021.
3. Cartan 1937a.
4. Cartan 1937b.
5. Dolecki & Mynard 2016, pp. 27–29.
6. Dolecki & Mynard 2016, pp. 33–35.
7. Narici & Beckenstein 2011, pp. 2–7.
8. Császár 1978, pp. 53–65.
9. Dolecki & Mynard 2016, pp. 27–54.
10. Bourbaki 1987, pp. 57–68.
11. Schubert 1968, pp. 48–71.
12. Narici & Beckenstein 2011, pp. 3–4.
13. Dugundji 1966, pp. 215–221.
14. Dugundji 1966, p. 215.
15. Schechter 1996, pp. 100–130.
16. Wilansky 2013, p. 5.
17. Császár 1978, pp. 82–91.
18. Dugundji 1966, pp. 211–213.
19. Schechter 1996, p. 100.
20. Császár 1978, pp. 53–65, 82–91.
21. Arkhangel'skii & Ponomarev 1984, pp. 7–8.
22. Joshi 1983, p. 244.
23. Dugundji 1966, p. 212.
24. Wilansky 2013, pp. 44–46.
25. Castillo, Jesus M. F.; Montalvo, Francisco (January 1990), "A Counterexample in Semimetric Spaces" (PDF), Extracta Mathematicae, 5 (1): 38–40
26. Schaefer & Wolff 1999, pp. 1–11.
27. Bourbaki 1987, pp. 129–133.
28. Wilansky 2008, pp. 32–35.
29. Császár 1978, pp. 53–65, 82–91, 102–120.
30. Dolecki & Mynard 2016, pp. 37–39.
31. Arkhangel'skii & Ponomarev 1984, pp. 20–22.
32. Császár 1978, pp. 102–120.
33. Jech 2006, pp. 73–89.

References

• Adams, Colin; Franzosa, Robert (2009). Introduction to Topology: Pure and Applied. New Delhi: Pearson Education. ISBN   978-81-317-2692-1. OCLC   789880519.
• Arkhangel'skii, Alexander Vladimirovich; Ponomarev, V.I. (1984). Fundamentals of General Topology: Problems and Exercises. Mathematics and Its Applications. Vol. 13. Dordrecht Boston: D. Reidel. ISBN   978-90-277-1355-1. OCLC   9944489.
• Berberian, Sterling K. (1974). Lectures in Functional Analysis and Operator Theory. Graduate Texts in Mathematics. Vol. 15. New York: Springer. ISBN   978-0-387-90081-0. OCLC   878109401.
• Bourbaki, Nicolas (1989) [1966]. General Topology: Chapters 1–4 [ Topologie Générale ]. Éléments de mathématique. Berlin New York: Springer Science & Business Media. ISBN   978-3-540-64241-1. OCLC   18588129.
• Bourbaki, Nicolas (1989) [1967]. General Topology 2: Chapters 5–10[Topologie Générale]. Éléments de mathématique. Vol. 4. Berlin New York: Springer Science & Business Media. ISBN   978-3-540-64563-4. OCLC   246032063.
• Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5. Éléments de mathématique. Translated by Eggleston, H.G.; Madan, S. Berlin New York: Springer-Verlag. ISBN   3-540-13627-4. OCLC   17499190.
• Burris, Stanley; Sankappanavar, Hanamantagouda P. (2012). A Course in Universal Algebra (PDF). Springer-Verlag. ISBN   978-0-9880552-0-9. Archived from the original on 1 April 2022.
• Cartan, Henri (1937a). "Théorie des filtres". Comptes rendus hebdomadaires des séances de l'Académie des sciences . 205: 595–598.
• Cartan, Henri (1937b). "Filtres et ultrafiltres". Comptes rendus hebdomadaires des séances de l'Académie des sciences . 205: 777–779.
• Comfort, William Wistar; Negrepontis, Stylianos (1974). The Theory of Ultrafilters. Vol. 211. Berlin Heidelberg New York: Springer-Verlag. ISBN   978-0-387-06604-2. OCLC   1205452.
• Császár, Ákos (1978). General topology. Translated by Császár, Klára. Bristol England: Adam Hilger Ltd. ISBN   0-85274-275-4. OCLC   4146011.
• Dixmier, Jacques (1984). General Topology. Undergraduate Texts in Mathematics. Translated by Berberian, S. K. New York: Springer-Verlag. ISBN   978-0-387-90972-1. OCLC   10277303.
• Dolecki, Szymon; Mynard, Frédéric (2016). Convergence Foundations Of Topology. New Jersey: World Scientific Publishing Company. ISBN   978-981-4571-52-4. OCLC   945169917.
• Dugundji, James (1966). Topology. Boston: Allyn and Bacon. ISBN   978-0-697-06889-7. OCLC   395340485.
• Dunford, Nelson; Schwartz, Jacob T. (1988). Linear Operators . Pure and applied mathematics. Vol. 1. New York: Wiley-Interscience. ISBN   978-0-471-60848-6. OCLC   18412261.
• Edwards, Robert E. (1995). Functional Analysis: Theory and Applications. New York: Dover Publications. ISBN   978-0-486-68143-6. OCLC   30593138.
• Howes, Norman R. (23 June 1995). Modern Analysis and Topology. Graduate Texts in Mathematics. New York: Springer-Verlag Science & Business Media. ISBN   978-0-387-97986-1. OCLC   31969970. OL   1272666M.
• Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN   978-3-519-02224-4. OCLC   8210342.
• Jech, Thomas (2006). Set Theory: The Third Millennium Edition, Revised and Expanded. Berlin New York: Springer Science & Business Media. ISBN   978-3-540-44085-7. OCLC   50422939.
• Joshi, K. D. (1983). Introduction to General Topology. New York: John Wiley and Sons Ltd. ISBN   978-0-85226-444-7. OCLC   9218750.
• Kelley, John L. (1975) [1955]. General Topology. Graduate Texts in Mathematics. Vol. 27 (2nd ed.). New York: Springer-Verlag. ISBN   978-0-387-90125-1. OCLC   1365153.
• Köthe, Gottfried (1983) [1969]. Topological Vector Spaces I. Grundlehren der mathematischen Wissenschaften. Vol. 159. Translated by Garling, D.J.H. New York: Springer Science & Business Media. ISBN   978-3-642-64988-2. MR   0248498. OCLC   840293704.
• Koutras, Costas D.; Moyzes, Christos; Nomikos, Christos; Tsaprounis, Konstantinos; Zikos, Yorgos (20 October 2021). "On Weak Filters and Ultrafilters: Set Theory From (and for) Knowledge Representation". Logic Journal of the IGPL . 31: 68–95. doi:10.1093/jigpal/jzab030.
• MacIver R., David (1 July 2004). "Filters in Analysis and Topology" (PDF). Archived from the original (PDF) on 2007-10-09. (Provides an introductory review of filters in topology and in metric spaces.)
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN   978-1584888666. OCLC   144216834.
• Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces. Cambridge Tracts in Mathematics. Vol. 53. Cambridge England: Cambridge University Press. ISBN   978-0-521-29882-7. OCLC   589250.
• Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. Vol. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN   978-1-4612-7155-0. OCLC   840278135.
• Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN   978-0-12-622760-4. OCLC   175294365.
• Schubert, Horst (1968). Topology. London: Macdonald & Co. ISBN   978-0-356-02077-8. OCLC   463753.
• Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN   978-0-486-45352-1. OCLC   853623322.
• Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN   978-0-486-49353-4. OCLC   849801114.
• Wilansky, Albert (17 October 2008) [1970]. Topology for Analysis. Mineola, New York: Dover Publications, Inc. ISBN   978-0-486-46903-4. OCLC   227923899.
• Willard, Stephen (2004) [1970]. General Topology. Mineola, N.Y.: Dover Publications. ISBN   978-0-486-43479-7. OCLC   115240.