Dado esto, se puede mostrar que las estructuras coinciden, y el monoide resultante es, demostrablemente, conmutativo.