Por definición, al ser el elemento neutro de un monoide conmutativo,