Supongamos que "A" es un subconjunto de R con la propiedad de que toda sucesión en "A" tiene una subsucesión convergente a un elemento de "A".