Anillo

Un conjunto no vacío $A$ con dos LCI $ (\circ , \times )$ definidas sobre el, que cumple:

1. $(A,\circ)$ es un grupo abeliano (conmutativo).
2. $(A,\times)$ tiene la propiedad distributiva.