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