Teorema constantelor (versiunea neconditionala)

Um subconjunto K ⊂ M diz-se compacto quando toda cobertura aberta (em M ) possui uma subcobertura finita; em outras palavras, quando (K,