another example: we can treat any lattice as a monoidal poset by defining \\(\wedge\\) as the monoidal product and the top element as the unit – then of course the product distributes over joins iff the lattice is distributive.