Definition:Filter on Set

Definition
Let $X$ be a set, and $\mathcal P \left({X}\right)$ be the power set of $X$.

Also see

 * Definition:Filter


 * Filter on Set is Proper Filter