un conjunto S en un espacio de Banach X se llama "bicompacto" si de toda sucesión x de S ( n está en ℕ ) se puede obtener un subsucesión, cuyo límite está en S.