¿Qué es un instructivo ejemplo de un conjunto X equipada con dos monoid estructuras (X,+,0), (X,⋅,1), tal que + es conmutativa, la distributiva leyes bodega, sino 0⋅x=0 o x⋅0=0 ¿ no ?
Observe que en el caso de que estas dos leyes de absorción de espera, uno llama a (X,+,0,⋅,1) un semiring. A primera vista, podría ser sorprendente que estas leyes han de ser impuestas, pero esto es bastante natural desde un punto de vista general, es decir, la multiplicación de ⋅:X×X→X debe ser un aditivo monoid homomorphism en cada variable, y se sabe que uno tiene a la demanda que monoid homomorphisms preservar el elemento neutro.