Un semianello è una struttura algebrica formata da un insieme A {\displaystyle A} munito di due operazioni binarie, dette somma e prodotto e denotate rispettivamente con + {\displaystyle +} e ⋅ {\displaystyle \cdot }, le quali verifichino le seguenti proprietà: Somma e prodotto sono operazioni associative: si ha cioè + c = a + {\displaystyle +c=a+} e c = a {\displaystyle c=a} per ogni terna {\displaystyle } di elementi di A {\displaystyle A} ; Esiste un elemento neutro per la somma, indicato con 0 {\displaystyle 0}. Wikipedia