 Filter on a set

A filter $\mathcal{F}$ on a set $X$ is a nonempty family of subsets that excludes the empty set, is closed under finite intersections, and is upward closed under inclusion.