Semiring

The term dioid (for "double monoid") has been used to mean various types of semirings: