Adjective
cancellative (not comparable)
(mathematics) Said of a magma that has the cancellation property.
However, a non-commutative cancellative monoid need not be embeddable in a group. Source: Internet
This means that the cancellative elements of any commutative monoid can be extended to a group. Source: Internet