Mantido pelo grupo "Topologia do Interior"
Faça uma família de subconjuntos de $\omega$ cuja intersecção vá “aumentando”.