Un anillo consiste en un conjunto A con dos operaciones binarias internas, la suma y el producto. (A,+) forma un grupo abeliano y (A,*) forma un semigrupo. La multiplicación es distributiva sobre la suma. Un ejemplo de anillo es (Z4, +, *), donde Z4 son los residuos cuadráticos módulo 4 y se comprueba que cumple las propiedades de un anillo como la asociatividad, la existencia del elemento neutro y la distributividad. Un subconjunto S de un anillo A forma un subanillo si