Definition:Cancellable Semiring

From ProofWiki
Jump to navigation Jump to search

Definition

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


Caution

The elements do not necessarily need to be cancellable for $\circ$ as well.