Conjunto Compacto

Subconjunto de un espacio topológico tal que toda cubierta abierta admite una subcubierta finita; en espacios métricos, equivalente a que toda sucesión tenga una subsecuencia convergente (compacidad secuencial) o a ser completo y totalmente acotado.