Mantido pelo grupo "Topologia do Interior"
Essa é uma revisão anterior do documento!
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.