Filtre

Une famille non vide F de sous-ensembles d'un ensemble X, fermée par intersections finies et par passage aux sur-ensembles (si A ∈ F et A ⊆ B ⊆ X alors B ∈ F). Les filtres servent à exprimer des notions de grandeur et à définir la convergence indépendamment d'indices dénombrables.