Un ejemplo de semigrupo conmutativo es el conjunto de los números naturales, formula_4 con la operación suma, +.