En álgebra, un semianillo[1][2] es una estructura algebraica más general que un anillo.
Dado un conjunto A y dos operaciones binarias + y ·, llamadas adición y multiplicación, la 3-tupla (A,+,·) es un semianillo si satisface las siguientes condiciones: (A,+) es un semigrupo conmutativo; es decir: (A,·) es un semigrupo: La multiplicación distribuye sobre la adición; es decir: Si la operación "·" es conmutativa el semianillo se llama semianillo conmutativo o abeliano.
Dado un conjunto A y dos operaciones binarias + y ·, llamadas adición y multiplicación, la 3-tupla (A,+,·) es un semianillo si satisface las siguientes condiciones: (A,+) es un semigrupo conmutativo; es decir: (A,·) es un monoide con 1 como elemento neutro; es decir: La multiplicación distribuye sobre la adición; es decir: Si la operación "·" es conmutativa el semianillo unitario se llama semianillo unitario conmutativo o abeliano.