compacto, ssi, cada sucesión de elementos de A tiene una subsucesión convergente