filter basis
A filter subbasis for a set is a collection of subsets of which has the finite intersection property.
A filter basis for a set is a non-empty collection of subsets of which does not contain the empty set such that, for every and every , there exists a such that .
Given a filter basis for a set , the set of all supersets of elements of forms a filter on the set . This filter is known as the filter generated by the basis.
Given a filter subbasis for a set , the set of all supersets of finite intersections of elements of is a filter. This filter is known as the filter generated by the subbasis.
Two filter bases are said to be equivalent if they generate the same filter. Likewise, two filter subbases are said to be equivalent if they generate the same filter.
Note: Not every author requires that filters do not contain the empty set.Because every filter is a filter basis then accordingly some authors allow that a filterbase can contain the empty set.