Semiring

Un semianello è una struttura algebrica formata da un insieme munito di due operazioni binarie, dette somma e prodotto e denotate rispettivamente con e , le quali verifichino le seguenti proprietà:Somma e prodotto sono operazioni associative: si ha cioè e per ogni terna di elementi di ; Esiste un (unico) elemento neutro per la somma, indicato con . Ciò significa che comunque si scelga in , vale ; Il prodotto è distributivo rispetto alla somma, vale a dire e per ogni scelta di , e in . Per ogni in , .

Wikipedia →