Argumentar que un conxunto é compacto porque ten unha cobertura aberta finita; ou porque, para unha cobertura aberta particular dada, existe unha subcobertura finita.