Mantido pelo grupo "Topologia do Interior"
Essa é uma revisão anterior do documento!
Afirmo que se $(s, F) \in \mathbb P$, então $\omega \smallsetminus \bigcup F$ é infinito.