In topology, a **filter** is a concept used to generalize certain aspects of nets and convergence, particularly in the study of convergence and topological spaces. A filter on a set provides a way to talk about collections of subsets of that set that have certain properties, mainly focusing on "largeness" or "richness" of subsets.
New to topics? Read the docs here!