Definition:Cancellable Semiring

A cancellable semiring is a semiring $$\left({S, *, \circ}\right)$$ in which all the elements of $$S$$ are cancellable for $$*$$.

Note: the elements do not necessarily need to be cancellable for $$\circ$$.