Mantido pelo grupo "Topologia do Interior"
Provamos anteriormente que toda família dominante é ilimitada, assim como provamos que uma família enumerável não é ilimitada. Disso concluímos que não existe família dominante que seja enumerável.