Un ideal no tiene por qué ser necesariamente un subanillo.