Teorema de Subbase de Alexander

Un espacio topológico es compacto si toda cubierta del espacio por miembros de una subbase admite una subcubierta finita: equivalentemente, si toda cubierta por abiertos subbásicos tiene una subcubierta finita entonces toda cubierta abierta tiene una subcubierta finita (compacidad).