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 <math>X</math> eine unendliche Menge. Der Fréchet-Filter über <math>X</math> ist das Mengensystem (eine Menge von Mengen, d. h. eine Teilmenge der Potenzmenge von <math>X</math>), das als Elemente alle Teilmengen von <math>X</math> mit endlichem Komplement enthält.

Formal:

<math>\mathcal{F}(X) = \{\, Y \subseteq X \mid X \setminus Y \text{ ist endlich} \,\}</math>