Definition:Finer Filter on Set

Definition
Let $S$ be a set.

Let $\powerset S$ be the power set of $S$.

Let $\mathcal F, \mathcal F' \subset \powerset S$ be two filters on $S$.

Let $\mathcal F \subseteq \mathcal F'$.

Then $\mathcal F'$ is finer than $\mathcal F$.

Also known as
A finer filter than $\mathcal F$ can also be referred to as a superfilter of $\mathcal F$.

Also see

 * Definition:Coarser Filter on Set
 * Definition:Strictly Coarser Filter on Set


 * Definition:Comparable Filters on Set