Definition:Filter on Set/Definition 1

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

A filter on $X$ (or filter of $X$) is a set $\mathcal F \subset \mathcal P \left({X}\right)$ which satisfies the following conditions: