En álgebra abstracta, un anillo es un sistema algebraico formado por un conjunto no vacío y dos operaciones internas, llamadas usualmente «suma» y «producto», que cumplen ciertas propiedades.