Filter (mathematics)/Definition

A family of subsets of a given set which has properties generalising those of a neighbourhood system in topology.