Un subconjunto "A" de un espacio métrico y, en particular, del espacio euclídeo formula_1 es compacto si cumple alguna de las cuatro condiciones de la definición general.