Definition 3.4.1 (Filters).label Let $X$ be a set then $\scr{F}\suf\cali{P}(X)$ is a filter on $X$ if it satisfies the following:

1. (F1)

   For each $F\in\scr{F}$ and $F\suf E\suf X$, $E\in\scr{F}$

2. (F2)

   For each $I$ finite index set and $\curl{E_i}_{i\in I}\suf\scr{F}$, $\caps{}{i\in I}E_{i}\in\scr{F}$

3. (F3)

   $\emp\nin\scr{F}$

(F2) is equivalent to the following axioms:

1. (F2a)

   For each $E,F\in\scr{F}$, $E\cap F\in \scr{F}$

2. (F2b)

   $X\in\scr{F}$

Let $\scr{F},\scr{F}'$ be filters on $X$. If $\scr{F}\suf \scr{F}'$ then $\scr{F}'$ is (strictly) finer than $\scr{F}$ and $\scr{F}$ is (strictly) coarser than $\scr{F}'$ (if in addition $\scr{F}\neq\scr{F}'$). The set of all filters on $X$ is ordered by this relation.