De hecho esto es equivalente a ser ind-finito.