A semiring is a ring without subtraction. It carries a commutative monoid under with unit and a monoid under with unit , linked by distributivity together with . Examples include the naturals , the Boolean semiring with , and the tropical semirings on . The tropical case comes in two dual forms, min-plus with and , and its max-plus dual.