Definition:Filter on Set

Definition
Let $S$ be a set.

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

Also see

 * Definition:Filter


 * Filter on Set is Proper Filter