Una propiedad topológica: un espacio es compacto si toda cubierta abierta admite una subcubierta finita; en espacios métricos suele ser equivalente a la compacidad secuencial y, en entornos euclidianos, a ser cerrado y acotado.
Propiedad topológica de un conjunto que significa que toda sucesión en el conjunto tiene una subsecuencia convergente cuyo límite pertenece al conjunto; equivalente en espacios métricos a la compacidad secuencial.