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