Que $M = (M,·,1,0)$ ser un monoid $(M,·,1)$ junto con un distinguido % de elemento absorbente $0 ∈ M$, que es tal que el $∀x ∈ M\colon 0·x = 0 = x·0$.
¿Tal estructura $M$ tiene un bonito nombre?
¿Además, hay un nombre para tal estructuras $M$, donde las unidades de $M$ son exactamente los elementos distinto de cero de $M$, es decir, $M^× = M\setminus \{0\}$?
Ejemplo. Cada anillo es una estructura al considerar sólo la multiplicación. Los campos son entonces ejemplos donde las unidades son exactamente los elementos distinto de cero.