Semiring

Semiring

A semiring is a set R equipped with two binary operations + and ยท, called addition and multiplication, such that:

Read more about Semiring.