Un subconjunto K de un anillo A es subanillo de A si y solamente si