Cancellative


Definition

A magma \((M,*)\) is cancellative if and only if it's left-cancellative and right-cancellative.