El elemento formula_33 aludido en la definición anterior se dice identidad o elemento neutro del monoide formula_24, y es único, pues si formula_35 fuera otro elemento de formula_24 con las mismas propiedades, entonces formula_37.