Fréchet-Filter

Der Fréchet-Filter, benannt nach Maurice René Fréchet (1878–1973), ist in der Mathematik ein spezieller Mengenfilter mit der folgenden Definition:

Es sei $X$ eine unendliche Menge. Der Fréchet-Filter über $X$ ist das Mengensystem (eine Menge von Mengen, d. h. eine Teilmenge der Potenzmenge von $X$), das als Elemente alle Teilmengen von $X$ mit endlichem Komplement enthält.

Formal:

$ℱ(X)=\{Y\subseteq X\mid X\setminus Y\text{ ist endlich}\}$