feinerer Mengenfilter

Sei \(X\) eine Menge und \(\mathcal{F},\mathcal{G}\) Mengenfilter. Dann ist \(\mathcal{F}\) ein feinerer Filter, wenn gilt:

\begin{align*} \mathcal{G} \subseteq \mathcal{F} \end{align*}