Se $G$ é um filtro em $\mathbb P_{\varepsilon}$ então $\bigcup G$ é uma função.