Definition:Filter on Set/Definition 1

Definition
Let $S$ be a set.

Let $\powerset S$ denote the power set of $S$.

A set $\FF \subset \powerset S$ is a filter on $S$ (or filter of $S$) $\FF$ satisfies the filter on set axioms:

Also see

 * Equivalence of Definitions of Filter on Set