Discusión:Pseudoanillo

La definición que se está dando es claramente contradictoria. Por un lado se dice que (R, +) es un Grupo abeliano y más adelante se dice que (R, +, .) es un semianillo, pero la definición de semianillo que hay en el enlace dice que (A,+) es un monoide con 0 y (A, .) es un monoide con 1.