Semianillo

Un semianillo es una estructura algebraica (S, +, ·) con dos operaciones binarias: la suma (+) que forma un monoide conmutativo de identidad 0, y la multiplicación (·) que forma un monoide con identidad 1 (salvo en el caso trivial 0 = 1), donde la multiplicación distribuye sobre la suma por ambos lados y 0 anula S por multiplicación. No se exige la existencia de inversos aditivos.