Lo que convierte a los númberos naturales  nun monoide conmutativu con elementu neutru 0, el llamáu Monoide Llibre con un xenerador. Esti monoide satisfai la propiedá cancelativa y polo tanto puede incluyise nun grupu matemáticu. El menor grupu que contién a los naturales ye'l de los númberos enteros.