En matemáticas entendemos por pseudoanillo una Estructura algebraica de la forma

donde R es un conjunto, la base del pseudoanillo, + y * son operaciones binarias y existe 0, un elemento del conjunto, el zero del pseudoanillo, tal que

es un Grupo abeliano

es un semianillo.

Las operaciones + y * se dicen respectivamente suma y producto del pseudoanillo.

Cuando el producto de un pseudoanillo posee una unidad, que notamos con 1, es decir, cuando es un monoide,

es una estructura llamada anillo.

Si el producto de un pseudoanillo es conmutativo, la estructura se llama pseudoanillo abeliano.