A filter base is a family of non-empty subsets of a Set such that if then there exists such that .
This can be used to construct a Filter on a set:
This notion can also be extended so that a family of sets forming the filter base generates the filters forming the Neighbourhood structure of a Neighbourhood space, or of a Topological space. In this case we call a base, or a Basis of a topology . For a topological space, the arbitrary unions of set in the filter base can be considered to generate the open sets
A filter base can in turn be generated by a Filter subbase