Eine Teilmenge F ⊆ P ( N ) {\displaystyle {}F\subseteq {\mathfrak {P}}\,(\mathbb {N} )} heißt Filter, wenn sie die folgenden Eigenschaften erfüllt.