Definition:Finer Filter on Set

Definition
Let $X$ be a set.

Let $\mathcal P \left({X}\right)$ be the power set of $X$.

Let $\mathcal F, \mathcal F' \subset \mathcal P \left({X}\right)$ be two filters on $X$.

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