Definition:Cancellable Semiring
Jump to navigation
Jump to search
Definition
A cancellable semiring is a semiring $\struct {S, *, \circ}$ in which all the elements of $S$ are cancellable for $*$.
Caution
The elements do not necessarily need to be cancellable for $\circ$ as well.