Min Tropical Semiring

The min tropical semiring is a Semiring on the Extened Real Numbers where addition is given by $\min$ and multiplication is given by $+$.

We can further generalize this to an Monoidal Join Semilattice where the unit of the monoid is also the Bottom Element.