Se $(s, F) \in \mathbb P$, então $\omega \smallsetminus \bigcup F$ é infinito.