Filter

A nonempty family F of subsets of a set X that is closed under finite intersections and under supersets (if A is in F and A ⊆ B ⊆ X then B is in F). Filters are used to express notions of largeness and to define convergence independent of countable indices.