Filter

Eine nichtleere Familie F von Teilmengen einer Menge X, die unter endlichen Schnitten und Untergang in Obermengen abgeschlossen ist (wenn A ∈ F und A ⊆ B ⊆ X, dann B ∈ F). Filter werden verwendet, um Begriffe von ‚Größe‘ oder ‚Häufigkeit‘ auszudrücken und Konvergenz unabhängig von abzählbaren Indizes zu definieren.