Lemma 3.2. Assuming that:

• $F\subseteq \mathbb{P}$ is a filter