En cas contrario se dice que dicho conjunto es infinito.