Filters must be nonempty. While this condition is perhaps implied by the article, it should be stated explicitly. One way to do this is to simply stipulate that the set which the filter is on is a member of the filter.