Monoidal Join Semilattice

A monoidal join semilattice is a Semimonoidal Join Semilattice where the tensor forms a Monoid.