Un subanillo formula_40 de un anillo formula_41 =(A,+,·) es un subconjunto formula_42 que con las leyes de composición interna del anillo formula_41 cumple que, si formula_44, entonces formula_45 y formula_46.