Definition:Filter on Set/Definition 1

Definition
Let $S$ be a set.

Let $\mathcal P \left({S}\right)$ denote the power set of $S$.

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