Aqui foi dado uma subcobertura enumerável para toda cobertura aberta.