Definition:Cancellable/Also known as
Jump to navigation
Jump to search
Definition
An object that is cancellable can also be referred to as cancellative.
Hence the property of being cancellable is also referred to on $\mathsf{Pr} \infty \mathsf{fWiki}$ as cancellativity.
Some authors use regular to mean cancellable, but this usage can be ambiguous so is not generally endorsed.