espacio compacto topológico

Sustantivo
  1. Espacio topológico en el que toda cubierta abierta tiene una subcubierta finita.
    El conjunto es un espacio compacto topológico.