Un anello A si dice unitario se esiste in A un elemento

1 (detto unità)  tale che: