Wiktionary
cancellative
a. (context mathematics English) Said of a magma that has the cancellation property.