Mantido pelo grupo "Topologia do Interior"
Se $G$ é um filtro em $\mathbb P_{\varepsilon}$ então $\bigcup G$ é uma função.