Así pues, si formula_435 es finito y posee formula_440 elementos (con formula_441), entonces #formula_442, y si formula_435 posee infinitos elementos, lo que significa que no es coordinable con ningún elemento de la sucesión fundamental, entonces se dice que #formula_435 es infinita.