Inverse of Product/Monoid