Aquellos sistemas en que todo número tiene un sucesor, o bien son "sistemas modulares" (los que gozan de las propiedades de la aritmética modular) o bien son infinitos por la derecha.