Sia A un anello commutativo con unità. Un sottoanello di A

è un suo sottoinsieme B tale che:

• 0, 1 stanno in B;
• per ogni a, b di B

a + b, ab e a + (-b) sono ancora elementi di B.