un conjunto M de un espacio vectorial normado se llama "compacto" si de toda sucesión x de M ( n está en ℕ ) se puede extraer una subsucesión fundamental.