El conjunto de los números naturales, bajo la operación multiplicación: formula_23, tiene estructura algebraica de monoide conmutativo o abeliano.